r265923 - in /branches/gcc-7-branch/gcc: ada/Ch...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Thu Nov  8 15:58:16 2018
New Revision: 265923

URL: https://gcc.gnu.org/viewcvs?rev=265923&root=gcc&view=rev
Log:
	* 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.

Added:
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/opt74.adb
      - copied unchanged from r265921, trunk/gcc/testsuite/gnat.dg/opt74.adb
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/opt74_pkg.adb
      - copied unchanged from r265921, trunk/gcc/testsuite/gnat.dg/opt74_pkg.adb
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/opt74_pkg.ads
      - copied unchanged from r265921, trunk/gcc/testsuite/gnat.dg/opt74_pkg.ads
Removed:
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/warn12.adb
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/warn12_pkg.ads
Modified:
    branches/gcc-7-branch/gcc/ada/ChangeLog
    branches/gcc-7-branch/gcc/ada/fe.h
    branches/gcc-7-branch/gcc/ada/gcc-interface/misc.c
    branches/gcc-7-branch/gcc/ada/gcc-interface/trans.c
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/null_pointer_deref1.adb
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/null_pointer_deref2.adb
    branches/gcc-7-branch/gcc/testsuite/gnat.dg/null_pointer_deref3.adb