Hi,

the Ada part of the Ada front-end is compiled with -gnata, which boils down to 
a form of dynamic type checking for the AST, i.e. something roughly equivalent 
to Tree checking for the front-ends of the C family of compilers.  This patch 
aligns the Ada compiler with them by disabling it in --enable-checking=release 
mode.  Issues flagged by this checking are usually benign on release branches 
and gigi has a slew of gcc_assert's that stop the compiler in serious cases.

Bootstrapped on x86_64-suse-linux (w and w/o --enable-checking=release), OK 
for the mainline?


2013-01-11  Eric Botcazou  <ebotcazou@adacore.com>

	* Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.
	* Makefile.in: Regenerate.


gcc/
2013-01-11  Eric Botcazou  <ebotcazou@adacore.com>

	* configure.ac (Tree checking): Set TREECHECKING to yes if enabled.
	Substitute TREECHECKING.
	* configure: Regenerate.
	* Makefile.in (TREECHECKING): New.


gcc/ada/
2013-01-11  Eric Botcazou  <ebotcazou@adacore.com>

	* gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata.
	(CHECKING_ADAFLAGS): New.
	(ALL_ADAFLAGS): Include CHECKING_ADAFLAGS.


-- 
Eric Botcazou