From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-116504-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 18426 invoked by alias); 28 Jun 2005 22:19:50 -0000
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
Received: (qmail 18392 invoked by uid 22791); 28 Jun 2005 22:19:46 -0000
Received: from nile.gnat.com (HELO nile.gnat.com) (205.232.38.5)
    by sourceware.org (qpsmtpd/0.30-dev) with ESMTP; Tue, 28 Jun 2005 22:19:46 +0000
Received: from localhost (localhost [127.0.0.1])
	by filtered-nile.gnat.com (Postfix) with ESMTP id 3F435962D;
	Tue, 28 Jun 2005 18:19:45 -0400 (EDT)
Received: from nile.gnat.com ([127.0.0.1])
 by localhost (nile.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP
 id 16005-01-10; Tue, 28 Jun 2005 18:19:45 -0400 (EDT)
Received: from [127.0.0.1] (taconic.gnat.com [205.232.38.103])
	by nile.gnat.com (Postfix) with ESMTP id 0D7149605;
	Tue, 28 Jun 2005 18:19:45 -0400 (EDT)
Message-ID: <42C1CCFF.1020104@adacore.com>
Date: Tue, 28 Jun 2005 22:19:00 -0000
From: Robert Dewar <dewar@adacore.com>
User-Agent: Mozilla Thunderbird 0.8 (Windows/20040913)
MIME-Version: 1.0
To: "Joseph S. Myers" <joseph@codesourcery.com>
CC: 'gcc mailing list' <gcc@gcc.gnu.org>
Subject: Re: signed is undefined and has been since 1992 (in GCC)
References: <20050628142441.GA52889@dspnet.fr.eu.org> <SERRANOQzV7r6pVu4Jb0000024f@SERRANO.CAM.ARTIMI.COM> <20050628145148.GD52889@dspnet.fr.eu.org> <17089.26325.169281.749633@zapata.pink> <20050628171752.GE52889@dspnet.fr.eu.org> <42C19BE8.9050107@adacore.com> <m3ll4ufgqi.fsf@uniton.integrable-solutions.net> <42C1A23F.6000806@adacore.com> <Pine.LNX.4.61.0506282205210.14527@digraph.polyomino.org.uk>
In-Reply-To: <Pine.LNX.4.61.0506282205210.14527@digraph.polyomino.org.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-SW-Source: 2005-06/txt/msg01215.txt.bz2

Joseph S. Myers wrote:

> Does anyone make substantial use of -ftrapv in production (whether as a 
> tool for detecting bugs, or as a security tool where the performance cost 
> is acceptable)?  Or is it still at the stage of being a tool which would 
> be useful in principle for some purposes but still needs some work 
> (including on optimizing checks to reduce the performance cost) to make it 
> useful in practice?

It is potentially useful in Ada, and we are investigating its use in
this context.