From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 24820 invoked by alias); 4 Mar 2008 02:38:26 -0000 Received: (qmail 24804 invoked by uid 22791); 4 Mar 2008 02:38:26 -0000 X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.31) with ESMTP; Tue, 04 Mar 2008 02:38:06 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 975A82AA522; Mon, 3 Mar 2008 21:38:04 -0500 (EST) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id wjLhVEPhm6ay; Mon, 3 Mar 2008 21:38:04 -0500 (EST) Received: from [127.0.0.1] (nile.gnat.com [205.232.38.5]) by rock.gnat.com (Postfix) with ESMTP id 4B2532AA51B; Mon, 3 Mar 2008 21:38:04 -0500 (EST) Message-ID: <47CCB5F5.5010300@adacore.com> Date: Tue, 04 Mar 2008 02:38:00 -0000 From: Robert Dewar User-Agent: Thunderbird 2.0.0.12 (Windows/20080213) MIME-Version: 1.0 To: Eric Botcazou CC: gcc@gcc.gnu.org, Richard Guenther , Mark Mitchell , "Joseph S. Myers" , Richard Kenner , gcc-patches@gcc.gnu.org, iant@google.com Subject: Re: [PATCH][4.3] Deprecate -ftrapv References: <47CA94E5.9010204@adacore.com> <200803032348.18837.ebotcazou@adacore.com> In-Reply-To: <200803032348.18837.ebotcazou@adacore.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit 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: 2008-03/txt/msg00182.txt.bz2 Eric Botcazou wrote: >> Well let's see .. we (AdaCore) will try to focus more attention on this >> to evaluate whether it is feasible to get this feature working well >> enough to use in GNAT. > > We already did that several times: -ftrapv is too broken to be used for Ada. In its current form, that's true, the question is what would it take for -ftrapv to be usable. The requirements for a useful feature for C debugging and a feature to implement required overflow checking in Ada are not that far apart.