From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25636 invoked by alias); 1 Mar 2008 01:57:41 -0000 Received: (qmail 25617 invoked by uid 22791); 1 Mar 2008 01:57:40 -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; Sat, 01 Mar 2008 01:57:19 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 470532A9F9D; Fri, 29 Feb 2008 20:57:17 -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 8+Y+5MGZ-1ic; Fri, 29 Feb 2008 20:57:17 -0500 (EST) Received: from [127.0.0.1] (nile.gnat.com [205.232.38.5]) by rock.gnat.com (Postfix) with ESMTP id 1280D2A9F7B; Fri, 29 Feb 2008 20:57:17 -0500 (EST) Message-ID: <47C8B7F3.2000508@adacore.com> Date: Sat, 01 Mar 2008 01:57:00 -0000 From: Robert Dewar User-Agent: Thunderbird 2.0.0.12 (Windows/20080213) MIME-Version: 1.0 To: Richard Guenther CC: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org, mark@codesourcery.com Subject: Re: [PATCH][4.3] Deprecate -ftrapv References: In-Reply-To: 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/msg00012.txt.bz2 Richard Guenther wrote: > This is a request to depcrecate -ftrapv which has numerous problems > making it not work as expected since a long time. As nobody seems > to have the energy to ensure it is working I propose to deprecate it > for GCC 4.3 to make it possible to remove it during 4.4 (and not > block removing libcall notes by it). Seems a pity, this feature is really needed for Ada, which requires efficient overflow checking for signed arithmetic, and it seems useful for C, where signed overflow is undefined, and it would be nice to enable trapping. Right now, Ada uses really horrible double length arithmetic to do trapping. So I would hestitate to deprecate it so quickly