projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9934e8) | patch
[Ada] More precise propagation of Size attribute in generic instances
authorYannick Moy <moy@adacore.com>
Wed, 21 Aug 2019 08:31:07 +0000 (08:31 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 21 Aug 2019 08:31:07 +0000 (08:31 +0000)
commit61e33106eda3d937fae9ba624da05938bda3af5e
tree53e8ec52d8bb6004662a1607e9cc6ef38059269etree
parente9934e8c79c4eafbb231ed53b3a6e1c6632a1a15commit | diff
[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.

From-SVN: r274788
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history