r244777 - in /trunk/gcc/ada: ChangeLog exp_spar...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Jan 23 11:19:56 2017
New Revision: 244777

URL: https://gcc.gnu.org/viewcvs?rev=244777&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_spark.adb