941101-1.c

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

f ()
{
  int var = 7;

  if ((var/7) == 1)
    return var/7;
  return 0;
}

main ()
{
  if (f () != 1)
    abort ();
  exit (0);
}