From 0662d7426835a69bf233c3f9a025b30e84563ff2 Mon Sep 17 00:00:00 2001 From: Viljar Indus Date: Thu, 2 May 2024 21:04:28 +0300 Subject: [PATCH] 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. --- 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.47.2