[Bug tree-optimization/22026] [4.1 Regression] ACATS FAIL C45331A fixed point wrong code

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-18 
18:02 -------
Confirmed, C testcase:
int f(int x, int y)
{
  if (x != 0)
    if (y != 0)
      {
        int t = x + y;
        if (t != 0)
          return 1;
      }
  return 0;
}
void abort ();
int main (void)
{
  int t = f(1, -1);
  if (t != 0)
   abort ();
}

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|ada                         |tree-optimization
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-18 18:02:32
               date|                            |


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