This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Document arithmetic overflow semantics

From: Neil Booth <neil at daikokuya dot co dot uk>
To: Mark Hahn <hahn at physics dot mcmaster dot ca>
Cc: gcc at gcc dot gnu dot org
Date: Sat, 15 Feb 2003 20:52:03 +0000
Subject: Re: [PATCH] Document arithmetic overflow semantics
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>

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.

References:
- Re: [PATCH] Document arithmetic overflow semantics
  - From: Joseph S. Myers
- Re: [PATCH] Document arithmetic overflow semantics
  - From: Mark Hahn

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]