Re: [patch] Disable Ada front-end checking in release mode

[Richard Biener <richard.guenther@gmail.com>]

On Fri, Jan 11, 2013 at 10:08 AM, Eric Botcazou <ebotcazou@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  <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