diff options
author | Ronan Desplanques <desplanques@adacore.com> | 2024-02-13 11:04:00 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-14 10:19:56 +0200 |
commit | 34aba1547d277eb8c7fa5db7f58e35b1726693df (patch) | |
tree | 00d2b9911a4fa64d1172cdc7acad1a0c469b12eb /include | |
parent | 062626502fd5d56cd19c5e20c19f2d7cc2c03986 (diff) | |
download | gcc-34aba1547d277eb8c7fa5db7f58e35b1726693df.zip gcc-34aba1547d277eb8c7fa5db7f58e35b1726693df.tar.gz gcc-34aba1547d277eb8c7fa5db7f58e35b1726693df.tar.bz2 |
ada: Fix crash with -gnatdJ and -gnatw.w
This patch fixes a crash when -gnatdJ is enabled and a warning
must be emitted about an ineffective pragma Warnings clause.
Some modifications are made to the specific warnings machinery so
that warnings carry the ID of the pragma node they're about, so the
-gnatdJ mechanism can find an appropriate enclosing subprogram.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Adapt call to new signature.
* erroutc.ads (Set_Specific_Warning_Off): change signature
and update documentation.
(Validate_Specific_Warnings): Move ...
* errout.adb: ... here and change signature. Also move body
of Validate_Specific_Warnings from erroutc.adb.
(Finalize): Adapt call.
* errout.ads (Set_Specific_Warning_Off): Adapt signature of
renaming.
* erroutc.adb (Set_Specific_Warning_Off): Adapt signature and
body.
(Validate_Specific_Warnings): Move to the body of Errout.
(Warning_Specifically_Suppressed): Adapt body.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions