diff options
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 52063c8..ee2c329 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -503,11 +503,6 @@ procedure Gnat1drv is Operating_Mode := Check_Semantics; - -- Enable assertions, since they give valuable extra information for - -- formal verification. - - Assertions_Enabled := True; - -- Disable validity checks, since it generates code raising -- exceptions for invalid data, which confuses GNATprove. Invalid -- data is directly detected by GNATprove's flow analysis. |