aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
diff options
context:
space:
mode:
authorViljar Indus <indus@adacore.com>2024-05-02 21:04:28 +0300
committerMarc Poulhiès <poulhies@adacore.com>2024-06-13 15:30:34 +0200
commit0662d7426835a69bf233c3f9a025b30e84563ff2 (patch)
tree0004293f85bf068d98855120c77a7ce0078791c2 /gcc/ada/sem_res.adb
parentcc960e70b800e6739f16a3e890d27bad48550297 (diff)
downloadgcc-0662d7426835a69bf233c3f9a025b30e84563ff2.zip
gcc-0662d7426835a69bf233c3f9a025b30e84563ff2.tar.gz
gcc-0662d7426835a69bf233c3f9a025b30e84563ff2.tar.bz2
ada: Revert changing a GNATProve mode message to a non-warning
GNATProve compiles the program multiple times. During the first run the warnings are suppressed. These messages need to be suppressed during that run in order to avoid having them duplicated in the following runs. Revert the previous changes as there currently is not a way to simply suppress info messages. gcc/ada/ * sem_res.adb (Resolve_Call): add warning insertion character into the info message.
Diffstat (limited to 'gcc/ada/sem_res.adb')
-rw-r--r--gcc/ada/sem_res.adb2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index c55e1f5..d2eca7c 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -7397,7 +7397,7 @@ package body Sem_Res is
else
if Debug_Flag_Underscore_F then
Error_Msg_NE
- ("info: analyzing call to & in context", N, Nam_UA);
+ ("info: analyzing call to & in context?", N, Nam_UA);
end if;
Expand_Inlined_Call (N, Nam_UA, Nam);