gcc/testsuite/gcc.c-torture/compile/icmp.c

/* { dg-additional-options "-std=gnu89" } */

foo (a, b)
{
  b++;
  if (a <= b)
    if ((int) a < (int) b)
      b--;
    else
      b++;
  return b;
}