fe.h (Suppress_Checks): Declare.
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 8 Nov 2018 15:53:47 +0000 (15:53 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 8 Nov 2018 15:53:47 +0000 (15:53 +0000)
commit0274dd3f8d6bcbc4935fae1e0cc815197c48bb0c
treeb0226107b3a22640d2d717c7b833cb9b7f5a9201
parent4174a33ac66f45536e3d7bd46167d7f678310931
fe.h (Suppress_Checks): Declare.

* fe.h (Suppress_Checks): Declare.
* gcc-interface/misc.c (gnat_init_gcc_eh): Set -fnon-call-exceptions
only if checks are not suppressed and -faggressive-loop-optimizations
only if they are.
* gcc-interface/trans.c (struct loop_info_d): Remove has_checks and
warned_aggressive_loop_optimizations fields.
(gigi): Do not clear warn_aggressive_loop_optimizations here.
(Raise_Error_to_gnu): Do not set has_checks.
(gnat_to_gnu) <N_Indexed_Component>: Remove support for aggressive
loop optimizations.

From-SVN: r265921
13 files changed:
gcc/ada/ChangeLog
gcc/ada/fe.h
gcc/ada/gcc-interface/misc.c
gcc/ada/gcc-interface/trans.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/null_pointer_deref1.adb
gcc/testsuite/gnat.dg/null_pointer_deref2.adb
gcc/testsuite/gnat.dg/null_pointer_deref3.adb
gcc/testsuite/gnat.dg/opt74.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/opt74_pkg.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/opt74_pkg.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/warn12.adb [deleted file]
gcc/testsuite/gnat.dg/warn12_pkg.ads [deleted file]