diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-09-14 21:59:05 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-26 11:02:31 +0200 |
| commit | a490e7da3ad435d72916564e166f966eabe7328f (patch) | |
| tree | 559034c26846d37f728a42e67f38e627bbfaf519 /gcc/c-family/c-cppbuiltin.cc | |
| parent | 756efb7484f4bbdc74dd9c285fff5c5d4a0730ff (diff) | |
| download | gcc-a490e7da3ad435d72916564e166f966eabe7328f.zip gcc-a490e7da3ad435d72916564e166f966eabe7328f.tar.gz gcc-a490e7da3ad435d72916564e166f966eabe7328f.tar.bz2 | |
ada: Fix location of pragmas coming from aspects in top-level instances
This patch fixes an AST anomaly where pragmas that correspond to aspects
of a generic package declaration appeared as the auxiliary declarations
of the compilation unit for the instantiated package body.
In particular, this anomaly happened for aspect Annotate and affected
GNATprove, which didn't pick pragma corresponding to this aspect.
gcc/ada/
* sem_ch12.adb (Build_Instance_Compilation_Unit_Nodes): Relocate
auxiliary declarations from the original compilation unit to the
newly created compilation unit for the spec.
Diffstat (limited to 'gcc/c-family/c-cppbuiltin.cc')
0 files changed, 0 insertions, 0 deletions