From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2013 invoked by alias); 1 Mar 2008 00:12:32 -0000 Received: (qmail 2003 invoked by uid 22791); 1 Mar 2008 00:12:30 -0000 X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (65.74.133.4) by sourceware.org (qpsmtpd/0.31) with ESMTP; Sat, 01 Mar 2008 00:12:12 +0000 Received: (qmail 4633 invoked from network); 1 Mar 2008 00:12:10 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 1 Mar 2008 00:12:10 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.68) (envelope-from ) id 1JVFKj-0005cD-59; Sat, 01 Mar 2008 00:12:09 +0000 Date: Sat, 01 Mar 2008 00:12:00 -0000 From: "Joseph S. Myers" To: Richard Guenther cc: gcc-patches@gcc.gnu.org, gcc@gcc.gnu.org, Mark Mitchell Subject: Re: [PATCH][4.3] Deprecate -ftrapv In-Reply-To: Message-ID: References: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII 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/msg00003.txt.bz2 On Sat, 1 Mar 2008, 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). > > Ok for 4.3? I'll prepare an entry for the changes.html as well. If this does need to be deprecated (and it's a feature for which I hope someone will step forward to fix or reimplement it, since we know people have used it to find integer overflow bugs in their code, despite its known limitations), it should give a deprecation warning on all compilations using the option, not just be deprecated in documentation. -- Joseph S. Myers joseph@codesourcery.com