[Bug tree-optimization/23326] [4.0 Regression] Wrong code from forwprop

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  
2005-08-11 18:05 -------
// self-contained C++ testcase, compile with -O2

extern "C" void abort (void);

int j;

void foo (bool x, bool y)
{
  if (!x)
    j = 0;
  if (!x == y)
    j = 1;
}

int main (void)
{
  foo (1, 1);
  if (j)
    abort ();
}


-- 


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