[Bug tree-optimization/22630] [4.1 Regression] vrp produces wrong code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-23 16:36 -------
Confirmed.
For some reason we fold:
Folding predicate p_1 != r_2 to 0
Folded statement: if (p_1 != r_2) goto <L2>; else goto <L3>;
            into: if (0) goto <L2>; else goto <L3>;

p_1: ~[0B, 0B]  EQUIVALENCES: { r_2 } (1 elements)
r_2: VARYING
q_3: [r_2, r_2]  EQUIVALENCES: { r_2 } (1 elements)
p_4: [r_2, r_2]  EQUIVALENCES: { r_2 } (1 elements)
r_7: ~[0B, 0B]  EQUIVALENCES: { r_2 } (1 elements)

  # p_1 = PHI <r_7(5), &j(1)>;
<L1>:;

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-23 16:36:51
               date|                            |
            Summary|vrp produces wrong code     |[4.1 Regression] vrp
                   |                            |produces wrong code
   Target Milestone|---                         |4.1.0


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