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

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-05-01 06:18 -------
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.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23744


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