[Bug tree-optimization/24142] VRP miscompiles unzip inflate.c

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-30 10:19 -------
Slightly reduced:

int bar(void);
int foobar(void);
extern unsigned bd;
int foo(void)
{
  int retval = bar();
  if (retval == 1)
    retval = 0;
  if (bd == 0)
    retval = 1;
  if (retval)
    return retval;

  return foobar();
}


-- 


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