diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-07-03 08:16:06 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-03 08:16:06 +0000 |
| commit | eee51f3dd6d8e444270efb6fe191524b79a01445 (patch) | |
| tree | d5f2bf106c172d9babbac0a02a9f9065c963f7a6 /gcc/genconstants.c | |
| parent | f4c16c58e1a91f412eae9dd6645c165a709246cb (diff) | |
| download | gcc-eee51f3dd6d8e444270efb6fe191524b79a01445.zip gcc-eee51f3dd6d8e444270efb6fe191524b79a01445.tar.gz gcc-eee51f3dd6d8e444270efb6fe191524b79a01445.tar.bz2 | |
[Ada] Incorrect expansion on renamings of formal parameters
This patch fixes an issue whereby a renaming of an unconstrained formal
parameter leads to spurious runtime errors; manifesting either as a
storage or constraint error due to incorrect bounds being assumed.
This issue also occurs when the renamings are implicit such as through
generic instantiations.
2019-07-03 Justin Squirek <squirek@adacore.com>
gcc/ada/
* sem_ch8.adb (Analyze_Object_Renaming): Add call to search for
the appropriate actual subtype of the object renaming being
analyzed.
(Check_Constrained_Object): Minor cleanup.
gcc/testsuite/
* gnat.dg/renaming13.adb, gnat.dg/renaming14.adb: New testcases.
From-SVN: r272982
Diffstat (limited to 'gcc/genconstants.c')
0 files changed, 0 insertions, 0 deletions