diff options
| author | Steve Baird <baird@adacore.com> | 2024-02-15 14:49:18 -0800 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-16 10:49:27 +0200 |
| commit | 91c6302c8d641990f8977bf8eb5a40370da6efa9 (patch) | |
| tree | 2f127790f7b3f35cdd16d757b7d71401bb1965f4 /gcc/tree-vectorizer.h | |
| parent | e730d52a9459d1112e888858c7286aab0e358fac (diff) | |
| download | gcc-91c6302c8d641990f8977bf8eb5a40370da6efa9.zip gcc-91c6302c8d641990f8977bf8eb5a40370da6efa9.tar.gz gcc-91c6302c8d641990f8977bf8eb5a40370da6efa9.tar.bz2 | |
ada: Formal_Derived_Type'Size is not static
In deciding whether a Size attribute reference is static, the compiler could
get confused about whether an implicitly-declared subtype of a generic formal
type is itself a generic formal type, possibly resulting in an assertion
failure and then a bugbox.
gcc/ada/
* sem_attr.adb (Eval_Attribute): Expand existing checks for
generic formal types for which Is_Generic_Type returns False. In
that case, mark the attribute reference as nonstatic.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions