diff options
| author | Claire Dross <dross@adacore.com> | 2017-01-23 11:19:56 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-23 12:19:56 +0100 |
| commit | d553a695b917d3240fcf8ca5ea9e09ad8dd8a5f3 (patch) | |
| tree | db41c8e1c5a062bf3dd5dd48a8dbfcba6f173090 /gcc/gimplify.c | |
| parent | 6d67bea9215e3d0ca6fb9dbd55124907a395f746 (diff) | |
| download | gcc-d553a695b917d3240fcf8ca5ea9e09ad8dd8a5f3.zip gcc-d553a695b917d3240fcf8ca5ea9e09ad8dd8a5f3.tar.gz gcc-d553a695b917d3240fcf8ca5ea9e09ad8dd8a5f3.tar.bz2 | |
exp_spark.adb (Expand_SPARK_Attribute_Reference): For attributes which return Universal_Integer...
2017-01-23 Claire Dross <dross@adacore.com>
* exp_spark.adb (Expand_SPARK_Attribute_Reference): For attributes
which return Universal_Integer, force the overflow check flag for
Length and Range_Length for types as big as Long_Long_Integer.
From-SVN: r244777
Diffstat (limited to 'gcc/gimplify.c')
0 files changed, 0 insertions, 0 deletions