From: Viljar Indus <in...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_res.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index c55e1f50604..d2eca7c5459 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); -- 2.45.1