[Bug tree-optimization/56928] [4.6/4.7/4.8/4.9 Regression] false positive when using -Wstrict-overflow

[Bug tree-optimization/56928] [4.6/4.7/4.8/4.9 Regression] false positive when using -Wstrict-overflow

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-04-12 08:40:46 UTC ---
(In reply to comment #1)
> Visiting PHI node: dynamic_3 = PHI <0(2), dynamic_2(11)>
> 
>     Argument #0 (2 -> 5 executable)
>     0
>     Value: [0, 0]
> 
>     Argument #1 (11 -> 5 executable)
>     dynamic_2
>     Value: [0, 1]
> Meeting
>   [0, 0]
> and
>   [0, 1]
> to
>   [0, 1]
> Found new range for dynamic_3: [0, +INF(OVF)]
> 
> 
> I don't see any overflow there or even a way to cause the overflow.
> 
> Looks like there is a bad type issue, dynamic is char but it is being treated
> as a boolean type internally.

No, it's the usual case of a back-edge where to cut-off iteration we
increase all the way to +-INF(OVF).  This is a dup.

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