20030323-1.c

this is a gcc file, you can download it and learn its usetility, for further detail please look at t

/* { dg-do run } */

/* PR c/8224 */
/* Contributed by Mikulas Patocka <[e-mail]> */

extern void abort (void);

unsigned f (int x)
{
  return (unsigned) (x / 2) / 2;
}

unsigned f1 (int x)
{
  unsigned xx = x / 2;
  return xx / 2;
}

int main ()
{
  if (f1 (-5) != f (-5))
    abort ();
  return 0;
}