diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2025-03-17 13:20:53 +0100 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@adacore.com> | 2025-06-09 10:23:59 +0200 |
| commit | 6cc5c01aa77a1f01057a963cc5061bad4b0cc270 (patch) | |
| tree | 8777282f23c8897c2160287e999dd2d02dcd8588 /gcc/cppdefault.h | |
| parent | 2fd267be72dfb0dbaa422c21888a40e69173defa (diff) | |
| download | gcc-6cc5c01aa77a1f01057a963cc5061bad4b0cc270.zip gcc-6cc5c01aa77a1f01057a963cc5061bad4b0cc270.tar.gz gcc-6cc5c01aa77a1f01057a963cc5061bad4b0cc270.tar.bz2 | |
ada: Reject component-related aspects on formal non-array types
In Ada 2022 aspects Atomic_Components and Volatile_Components can be specified
for a formal array type, but they were wrongly accepted on any formal type.
Also, we don't need to check if the corresponding pragmas appear in Ada 2022
mode, because generic formal parameters can't have explicit representation
pragmas in any Ada version and can only have aspects since Ada 2022.
gcc/ada/ChangeLog:
* sem_prag.adb (Analyze_Pragma): Fix conditions for legality checks on
formal type declarations.
Diffstat (limited to 'gcc/cppdefault.h')
0 files changed, 0 insertions, 0 deletions