projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc508db) | patch
[Ada] Remove useless pragma Warnings Off from runtime units
authorYannick Moy <moy@adacore.com>
Fri, 11 Feb 2022 08:02:42 +0000 (09:02 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 12 May 2022 12:38:40 +0000 (12:38 +0000)
commitdff98f76fb246e0a0d02ce13f2160c69168c3dc7
treedf0a3bb48ed3ae92b711c6967b4db5180cfe6dd9tree | snapshot
parentcc508db0d323279dc26e8471fd9f727492367e5ccommit | diff
[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.
gcc/ada/libgnat/s-valuei.ads diff | blob | history
gcc/ada/libgnat/s-valueu.ads diff | blob | history
gcc/ada/libgnat/s-valuti.ads diff | blob | history
Domain: System / Toolchain;