[Bug tree-optimization/21289] A numeric range is spoiled by a symblic one in VRP

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2005-05-14 19:40 -------
Another case of a numeric value range spoiled by a symbolic one:

int
foo (int a, int b)
{
  if (a == 0)
    return 0;

  if (a == b)
    if (a == 0)
      return 123;

  return 456;
}

Reduced from c-common.c.


-- 


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