diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-03 08:13:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-03 08:13:41 +0000 |
| commit | f51e316c7c7d0b2aad8b8444253369f2e819aee5 (patch) | |
| tree | 3191fdef35b109604d0e104514166bfd0e0bf582 /gcc/ada/layout.adb | |
| parent | 07ec36eed91154bd164081aed2dcb59d05910dc7 (diff) | |
| download | gcc-f51e316c7c7d0b2aad8b8444253369f2e819aee5.zip gcc-f51e316c7c7d0b2aad8b8444253369f2e819aee5.tar.gz gcc-f51e316c7c7d0b2aad8b8444253369f2e819aee5.tar.bz2 | |
[Ada] Spurious error on predicate of subtype in generic
This patch fixes a spurious error on a dynamic predicate of a record
subtype when the expression for the predicate includes a selected
component that denotes a component of the subtype.
2019-07-03 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch8.adb (Find_Selected_Component): If the prefix is the
current instance of a type or subtype, complete the resolution
of the name by finding the component of the type denoted by the
selector name.
gcc/testsuite/
* gnat.dg/predicate4.adb, gnat.dg/predicate4_pkg.ads: New
testcase.
From-SVN: r272961
Diffstat (limited to 'gcc/ada/layout.adb')
0 files changed, 0 insertions, 0 deletions