| commit | 5f2dd1720c47842fd08ee9cce26980a1c7dcccd6 | |
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 23 Jan 2017 11:19:56 +0000 (23 11:19 +0000) | ||
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 23 Jan 2017 11:19:56 +0000 (23 11:19 +0000) | ||
| tree | db41c8e1c5a062bf3dd5dd48a8dbfcba6f173090 | treesnapshot (tar.gz zip) |
| parent | f2451eab68a5a9c646719cb7784c2ab97a2324c3 | commitdiff |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244777 138bc75d-0d04-0410-961f-82ee72b054a4
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@244777 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/exp_spark.adb | diffblobblamehistory |