diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-04 08:06:14 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:06:14 +0000 |
| commit | 7cbdab5aa839ffd54dccbde6430905bb9c596201 (patch) | |
| tree | 6b5e9a1c939ad5eaf09f187539e35fc45920205d /gcc/tree-vect-loop-manip.c | |
| parent | 965a269d8bbaca4a96b1327607c9dc42ad9484d4 (diff) | |
| download | gcc-7cbdab5aa839ffd54dccbde6430905bb9c596201.zip gcc-7cbdab5aa839ffd54dccbde6430905bb9c596201.tar.gz gcc-7cbdab5aa839ffd54dccbde6430905bb9c596201.tar.bz2 | |
[Ada] Spurious error on 'First in a generic context
This patch fixes a spurious error on an attribute reference within an
aspect specification for an unconstrained array type when the
corresponding type declaration appears within a generic unit.
2019-07-04 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_attr.adb (Check_Array_Type): An array type attribute such
as 'First can be applied to an unconstrained array tyope when
the attribute reference appears within an aspect specification
and the prefix is a current instance, given that the prefix of
the attribute will become a formal of the subprogram that
implements the aspect (typically a predicate check).
gcc/testsuite/
* gnat.dg/aspect2.adb, gnat.dg/aspect2.ads: New testcase.
From-SVN: r273058
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
0 files changed, 0 insertions, 0 deletions