r274788 - in /trunk/gcc/ada: ChangeLog sem_ch3.adb

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Wed Aug 21 08:31:07 2019
New Revision: 274788

URL: https://gcc.gnu.org/viewcvs?rev=274788&root=gcc&view=rev
Log:
[Ada] More precise propagation of Size attribute in generic instances

GNATprove analyzer for SPARK code depends on the frontend to accurately
propagate the known value of Size attribute. This was not done for
formal type parameters in generic instantiations. Now fixed.

There is no impact on compilation.

2019-08-21  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_ch3.adb (Analyze_Subtype_Declaration): Inherit RM_Size
	field for formal type parameters in generic instantiations.

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