On Fri, Jan 11, 2013 at 10:08 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > 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?
Ok. Thanks, Richard. > > 2013-01-11 Eric Botcazou <ebotca...@adacore.com> > > * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. > * Makefile.in: Regenerate. > > > gcc/ > 2013-01-11 Eric Botcazou <ebotca...@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 <ebotca...@adacore.com> > > * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata. > (CHECKING_ADAFLAGS): New. > (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS. > > > -- > Eric Botcazou
