projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16707e9) | patch
gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to False...
authorYannick Moy <moy@adacore.com>
Mon, 11 Sep 2017 08:06:46 +0000 (08:06 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 11 Sep 2017 08:06:46 +0000 (10:06 +0200)
commit6afd4d646d9b262fdb409274af69d2c7ad3f53db
tree9eeabd151b8644ddec572e45cf68a30d14695621tree
parent16707e90f935452e4ce65e04e0a2047b6b083eb3commit | diff
gnat1drv.adb (Adjust_Global_Switches): Set Check_Validity_Of_Parameters to False in GNATprove mode.

2017-09-11  Yannick Moy  <moy@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Set
Check_Validity_Of_Parameters to False in GNATprove mode.
* opt.ads (Check_Validity_Of_Parameters): Document switch to
set option.

From-SVN: r251959
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat1drv.adb diff | blob | history
gcc/ada/opt.ads diff | blob | history