diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-05-22 13:23:51 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-22 13:23:51 +0000 |
| commit | fbb539954efc29574ff0a8399d88d6525a35c17a (patch) | |
| tree | 4cc8305fdeadf9ca63282da3036cf691be1f49d6 /gcc/builtins.c | |
| parent | 651822aec7caa0ed1aa8cb3dfb07a380b4595b08 (diff) | |
| download | gcc-fbb539954efc29574ff0a8399d88d6525a35c17a.zip gcc-fbb539954efc29574ff0a8399d88d6525a35c17a.tar.gz gcc-fbb539954efc29574ff0a8399d88d6525a35c17a.tar.bz2 | |
[Ada] Crash with private types and renamed discriminants
This patch fixes a compiler abort on an object declaration whose type
is a private type with discriminants, and whose full view is a derived
type that renames some discriminant of its parent.
2018-05-22 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch3.adb (Search_Derivation_Levels): Whenever a parent type is
private, use the full view if available, because it may include renamed
discriminants whose values are stored in the corresponding
Stored_Constraint.
gcc/testsuite/
* gnat.dg/discr49.adb, gnat.dg/discr49_rec1.adb,
gnat.dg/discr49_rec1.ads, gnat.dg/discr49_rec2.adb,
gnat.dg/discr49_rec2.ads: New testcase.
From-SVN: r260521
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions