diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-03-25 22:49:58 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-20 09:47:04 +0200 |
| commit | 32aa8b92c59d9c8343a618c7d1614bed7b0e107d (patch) | |
| tree | a569c2eb0af5784bcf4f5d65ddf67ce542ac0898 /gcc/ada/fe.h | |
| parent | 4ed963a52a0a7349f0beb765ee0802857d1752eb (diff) | |
| download | gcc-32aa8b92c59d9c8343a618c7d1614bed7b0e107d.zip gcc-32aa8b92c59d9c8343a618c7d1614bed7b0e107d.tar.gz gcc-32aa8b92c59d9c8343a618c7d1614bed7b0e107d.tar.bz2 | |
ada: Apply restriction No_Implementation_Attributes to source nodes only
Restriction No_Implementation_Attributes must not be applied to nodes
that come from expansion. In particular, it must not be applied to
Object_Size, which is implementation-defined attribute before Ada 2022,
but appears in expansion of tagged types since Ada 95.
gcc/ada/
* sem_attr.adb (Analyze_Attribute): Move IF statement that
checks restriction No_Implementation_Attributes for Ada 2005,
2012 and Ada 2022 attributes inside Comes_From_Source condition
that checks the same restriction for Ada 83 attributes.
Diffstat (limited to 'gcc/ada/fe.h')
0 files changed, 0 insertions, 0 deletions