This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] Disable Ada front-end checking in release mode
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: Eric Botcazou <ebotcazou at adacore dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 11 Jan 2013 11:32:59 +0100
- Subject: Re: [patch] Disable Ada front-end checking in release mode
- References: <1477074.PI8pod8Vd6@polaris>
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