diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-01 13:37:26 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-01 13:37:26 +0000 |
| commit | f603c9855e36cd7ab706174bddb997b7bb3f2ce2 (patch) | |
| tree | 5c569b0ca4dcecefcfb0993079cd3ebaa6d18c58 /gcc/hash-set-tests.c | |
| parent | 497ee82ba3b1f9e9154d978022ca51c88e49003e (diff) | |
| download | gcc-f603c9855e36cd7ab706174bddb997b7bb3f2ce2.zip gcc-f603c9855e36cd7ab706174bddb997b7bb3f2ce2.tar.gz gcc-f603c9855e36cd7ab706174bddb997b7bb3f2ce2.tar.bz2 | |
[Ada] Spurious error private subtype derivation
This patch fixes a spurious error on a derived type declaration whose
subtype indication is a subtype of a private type whose full view is a
constrained discriminated type.
2019-07-01 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch3.adb (Build_Derived_Record_Type): If the parent type is
declared as a subtype of a private type with an inherited
discriminant constraint, its generated full base appears as a
record subtype, so we need to retrieve its oen base type so that
the inherited constraint can be applied to it.
gcc/testsuite/
* gnat.dg/derived_type6.adb, gnat.dg/derived_type6.ads: New
testcase.
From-SVN: r272879
Diffstat (limited to 'gcc/hash-set-tests.c')
0 files changed, 0 insertions, 0 deletions