diff options
| author | Yannick Moy <moy@adacore.com> | 2022-02-11 09:02:42 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:40 +0000 |
| commit | dff98f76fb246e0a0d02ce13f2160c69168c3dc7 (patch) | |
| tree | df0a3bb48ed3ae92b711c6967b4db5180cfe6dd9 /gcc/expr.cc | |
| parent | cc508db0d323279dc26e8471fd9f727492367e5c (diff) | |
| download | gcc-dff98f76fb246e0a0d02ce13f2160c69168c3dc7.zip gcc-dff98f76fb246e0a0d02ce13f2160c69168c3dc7.tar.gz gcc-dff98f76fb246e0a0d02ce13f2160c69168c3dc7.tar.bz2 | |
[Ada] Remove useless pragma Warnings Off from runtime units
GNAT does not issue a warning anymore on a postcondition of True (used
here to prevent inining inside GNATprove for proof).
gcc/ada/
* libgnat/s-valuei.ads: Remove pragma Warnings Off.
* libgnat/s-valueu.ads: Same.
* libgnat/s-valuti.ads: Same.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions