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: some integer undefined behaviors in gcc

From: Vincent Lefevre <vincent+gcc at vinc17 dot org>
To: gcc at gcc dot gnu dot org
Date: Sun, 8 Aug 2010 10:51:52 +0200
Subject: Re: some integer undefined behaviors in gcc
References: <4C58A5E8.4040108@cs.utah.edu> <87tyn6hcv6.fsf@mid.deneb.enyo.de>

On 2010-08-07 13:38:05 +0200, Florian Weimer wrote:
> * John Regehr:
[...]
> > Let me know if more detail is needed or if it would be better for me to
> > file all 71 bug reports.
> 
> I wonder if we should give up and make -fwrapv the default.

Do you really mean that all these integer overflows should behave
like -fwrapv and none of them can hide a real bug?

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)

Follow-Ups:
- Re: some integer undefined behaviors in gcc
  - From: Florian Weimer

References:
- some integer undefined behaviors in gcc
  - From: John Regehr
- Re: some integer undefined behaviors in gcc
  - From: Florian Weimer

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