This is the mail archive of the gcc-patches@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: Request to merge Undefined Behavior Sanitizer in

From: Jason Merrill <jason at redhat dot com>
To: gcc-patches at gcc dot gnu dot org
Cc: Andrew Pinski <pinskia at gmail dot com>, Jeff Law <law at redhat dot com>, "Joseph S. Myers" <joseph at codesourcery dot com>, Marek Polacek <polacek at redhat dot com>, Jakub Jelinek <jakub at redhat dot com>
Date: Fri, 26 Jul 2013 18:29:08 -0400
Subject: Re: Request to merge Undefined Behavior Sanitizer in
References: <20130725153227 dot GC32538 at redhat dot com> <Pine dot LNX dot 4 dot 64 dot 1307252236460 dot 24818 at digraph dot polyomino dot org dot uk> <51F20006 dot 6040705 at redhat dot com> <CA+=Sn1nVMg_3k84mv60qu4jNU1ewpqdCGeAfFrkcF353-Nd46A at mail dot gmail dot com> <51F2CCFA dot 8010704 at redhat dot com> <alpine dot DEB dot 2 dot 10 dot 1307262157370 dot 3897 at laptop-mg dot saclay dot inria dot fr>

On 07/26/2013 04:00 PM, Marc Glisse wrote:

C11 also says:

"A computation involving unsigned operands can never overflow, because a
result that cannot be represented by the resulting unsigned integer type
is reduced modulo the number that is one greater than the largest value
that can be represented by the resulting type."

Ah, so it does. I agree that takes priority, though it would be nice toclarify the passage I quoted...


Jason

References:
- Request to merge Undefined Behavior Sanitizer in
  - From: Marek Polacek
- Re: Request to merge Undefined Behavior Sanitizer in
  - From: Joseph S. Myers
- Re: Request to merge Undefined Behavior Sanitizer in
  - From: Jeff Law
- Re: Request to merge Undefined Behavior Sanitizer in
  - From: Andrew Pinski
- Re: Request to merge Undefined Behavior Sanitizer in
  - From: Jason Merrill
- Re: Request to merge Undefined Behavior Sanitizer in
  - From: Marc Glisse

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