[Bug tree-optimization/43002] invalid "warning: array subscript is below array bounds" with -fwrapv

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-02-09 10:10 -------
Without -fwrapv I get

> ./cc1 -quiet -O2 -Wall t3.i
t3.i: In function 'foo':
t3.i:8:5: warning: assuming signed overflow does not occur when assuming that
(X + c) < X is always false

and with -fwrapv and the fix for PR43000:

> ./cc1 -quiet -O2 -Wall t3.i -fwrapv
> ./cc1 -quiet -O3 -Wall t3.i -fwrapv

thus, dup.  I'll add it as a testcase.

*** This bug has been marked as a duplicate of 43000 ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43002