r263104 - in /trunk/gcc/ada: ChangeLog exp_attr...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Tue Jul 31 09:56:36 2018
New Revision: 263104

URL: https://gcc.gnu.org/viewcvs?rev=263104&root=gcc&view=rev
Log:
[Ada] Refine generation of range checks to happen in front end

2018-07-31  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

	* exp_attr.adb (Expand_Attribute, case Fixed_Value): Set the
	base type of the result to ensure that proper overflow and range
	checks are generated.  If the target is a fixed-point tyoe,
	generate the required overflow and range checks explicitly,
	rather than relying on Apply_Type_Conversion_Checks, which might
	simply set the Do_Range_Check flag and rely on the backend to
	add the check.

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