From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-68481-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 26586 invoked by alias); 15 Feb 2003 20:52:08 -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 26578 invoked from network); 15 Feb 2003 20:52:08 -0000
Received: from unknown (HELO monkey.daikokuya.co.uk) (213.152.55.49)
  by 172.16.49.205 with SMTP; 15 Feb 2003 20:52:08 -0000
Received: from neil by monkey.daikokuya.co.uk with local (Exim 3.36 #1 (Debian))
	id 18k9I3-0005iT-00; Sat, 15 Feb 2003 20:52:03 +0000
Date: Sat, 15 Feb 2003 21:15:00 -0000
From: Neil Booth <neil@daikokuya.co.uk>
To: Mark Hahn <hahn@physics.mcmaster.ca>
Cc: gcc@gcc.gnu.org
Subject: Re: [PATCH] Document arithmetic overflow semantics
Message-ID: <20030215205203.GA21934@daikokuya.co.uk>
References: <Pine.LNX.4.33.0302132251120.24962-100000@kern.srcf.societies.cam.ac.uk> <Pine.LNX.4.44.0302151344530.17780-100000@coffee.psychology.mcmaster.ca>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <Pine.LNX.4.44.0302151344530.17780-100000@coffee.psychology.mcmaster.ca>
User-Agent: Mutt/1.5.3i
X-SW-Source: 2003-02/txt/msg01130.txt.bz2

Mark Hahn wrote:-

> yes!  I'm a lowly gcc end-user, but I'm apalled that gcc-gods would 
> even consider compromising optimization in favor of some nebulous 
> make-bugs-safer argument.
> 
> gcc is not a security-fix tool.  please permit users to select 
> absolute-max-optimization somehow; this is orthogonal to gcc's 
> extremely valuable diagnostics about undefined/questionable code.

Indeed.

One day I'd like to see GCC capable of much of what the Linux "Checker"
does, though.

Neil.