[Bug tree-optimization/23386] [4.1 Regression] bitmap.c is being miscompiled (VRP)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-14 17:32 -------
Here is something which is a little more reduced:
int f[100];
int g[100];
unsigned char
f1 (int a, int b)
{
  unsigned ix;
  if (a == b)
    return 1;
  for (ix = 4; ix--;)
      if (f[ix] != g[ix])
	  return 0;
  return 1;
}

int main(void)
{
  if (!f1 (1, 2))
    __builtin_abort();
  return 0;
}


-- 


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