diff options
| author | Viljar Indus <indus@adacore.com> | 2024-05-02 21:04:28 +0300 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-13 15:30:34 +0200 |
| commit | 0662d7426835a69bf233c3f9a025b30e84563ff2 (patch) | |
| tree | 0004293f85bf068d98855120c77a7ce0078791c2 /gcc/expr.cc | |
| parent | cc960e70b800e6739f16a3e890d27bad48550297 (diff) | |
| download | gcc-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/expr.cc')
0 files changed, 0 insertions, 0 deletions