diff options
author | Arnaud Charlet <charlet@adacore.com> | 2022-02-14 03:19:50 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:41 +0000 |
commit | 09c7e3175a16d15c7229486e9ce049b2c0daa4f1 (patch) | |
tree | 62eb83c32cc2562083bcdde482a76fc1bc6d52c7 | |
parent | ec0f9f7d88861198d9a94b51eb301567b6752fc5 (diff) | |
download | gcc-09c7e3175a16d15c7229486e9ce049b2c0daa4f1.zip gcc-09c7e3175a16d15c7229486e9ce049b2c0daa4f1.tar.gz gcc-09c7e3175a16d15c7229486e9ce049b2c0daa4f1.tar.bz2 |
[Ada] Add more dummy names in Sem_Warn.Has_Junk_Name
To sync the names used in CodePeer (and SPARK) when filtering out
warnings on e.g. unused variables.
gcc/ada/
* sem_warn.adb (Has_Junk_Name): Add more dummy names.
-rw-r--r-- | gcc/ada/sem_warn.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb index 4d34522..c8d00a5 100644 --- a/gcc/ada/sem_warn.adb +++ b/gcc/ada/sem_warn.adb @@ -2872,7 +2872,9 @@ package body Sem_Warn is Match ("dummy") or else Match ("ignore") or else Match ("junk") or else - Match ("unused"); + Match ("unuse") or else + Match ("tmp") or else + Match ("temp"); end Has_Junk_Name; -------------------------------------- |