diff options
| author | Yannick Moy <moy@adacore.com> | 2017-09-11 08:06:46 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-11 10:06:46 +0200 |
| commit | 6afd4d646d9b262fdb409274af69d2c7ad3f53db (patch) | |
| tree | 9eeabd151b8644ddec572e45cf68a30d14695621 /gcc/ada/gcc-interface | |
| parent | 16707e90f935452e4ce65e04e0a2047b6b083eb3 (diff) | |
| download | gcc-6afd4d646d9b262fdb409274af69d2c7ad3f53db.zip gcc-6afd4d646d9b262fdb409274af69d2c7ad3f53db.tar.gz gcc-6afd4d646d9b262fdb409274af69d2c7ad3f53db.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions