From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12129 invoked by alias); 11 Jan 2013 10:33:07 -0000 Received: (qmail 12120 invoked by uid 22791); 11 Jan 2013 10:33:06 -0000 X-SWARE-Spam-Status: No, hits=-4.9 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,KHOP_RCVD_TRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE X-Spam-Check-By: sourceware.org Received: from mail-we0-f173.google.com (HELO mail-we0-f173.google.com) (74.125.82.173) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 11 Jan 2013 10:33:01 +0000 Received: by mail-we0-f173.google.com with SMTP id z2so751133wey.32 for ; Fri, 11 Jan 2013 02:32:59 -0800 (PST) MIME-Version: 1.0 Received: by 10.181.13.195 with SMTP id fa3mr14296674wid.8.1357900379851; Fri, 11 Jan 2013 02:32:59 -0800 (PST) Received: by 10.194.179.130 with HTTP; Fri, 11 Jan 2013 02:32:59 -0800 (PST) In-Reply-To: <1477074.PI8pod8Vd6@polaris> References: <1477074.PI8pod8Vd6@polaris> Date: Fri, 11 Jan 2013 10:33:00 -0000 Message-ID: Subject: Re: [patch] Disable Ada front-end checking in release mode From: Richard Biener To: Eric Botcazou Cc: gcc-patches@gcc.gnu.org Content-Type: text/plain; charset=ISO-8859-1 X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2013-01/txt/msg00587.txt.bz2 On Fri, Jan 11, 2013 at 10:08 AM, Eric Botcazou 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 > > * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata. > * Makefile.in: Regenerate. > > > gcc/ > 2013-01-11 Eric Botcazou > > * 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 > > * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata. > (CHECKING_ADAFLAGS): New. > (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS. > > > -- > Eric Botcazou