[Bug tree-optimization/25643] VRP does not remove -fbounds-check for Fortran

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |NEW

--- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-06-29 13:23:15 UTC ---
(In reply to comment #5)
> Grrr:
> Visiting PHI node: i_3 = PHI <i_17(4), i_13(13)>;
>     Argument #0 (4 -> 12 executable)
>         i_17
>         Value: [1, 1]  EQUIVALENCES: { } (0 elements)
> 
>     Argument #1 (13 -> 12 executable)
>         i_13
>         Value: [2, +INF]  EQUIVALENCES: { } (0 elements)
> 
> so we have [1,1] UNION [2, +INF] and we just get ~[0,0] bogus
> and it also means this is PR 23744.

This is now fixed but the rest still applies.