[gcc r15-1282] ada: Revert changing a GNATProve mode message to a non-warning

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:0662d7426835a69bf233c3f9a025b30e84563ff2

commit r15-1282-g0662d7426835a69bf233c3f9a025b30e84563ff2
Author: Viljar Indus <in...@adacore.com>
Date:   Thu May 2 21:04:28 2024 +0300

    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.

Diff:
---
 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 c55e1f506048..d2eca7c54591 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);