]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d8ba0c) | patch
ada: Do not issue compiler warnings in GNATprove mode
authorYannick Moy <moy@adacore.com>
Fri, 23 Sep 2022 15:14:52 +0000 (17:14 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 6 Oct 2022 09:22:48 +0000 (11:22 +0200)
commit5a841af88be1ce4ff1c69cbb76a5033f2ceec3d6
tree15d5a7b931c3e33d4a6a06bfe1394392c0eb6721tree
parent7d8ba0c67cfb68e3a7806b30c3075d06e8feeb7ccommit | diff
ada: Do not issue compiler warnings in GNATprove mode

Use of pragma Warning with a string literal to set warning
switches, should not impact GNATprove which is not subject
to these switches.

gcc/ada/

* sem_prag.adb (Analyze_Pragma): Ignore one variant of pragma
Warnings in GNATprove mode.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git