[Bug tree-optimization/21959] [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-21 19:49 -------
Still wrong:
i_2: VARYING
i.0_6: [0, +INF]  EQUIVALENCES: { } (0 elements)


  # i_2 = PHI <0(0), i_9(2)>;
<L0>:;
  i.0_6 = (signed char) i_2;
  if (i.0_6 < 0) goto <L2>; else goto <L1>;

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2005-06-08 12:32:26         |2005-06-21 19:49:54
               date|                            |


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