960419-1.c

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

static int i;

void
check(x)
     int x;
{
  if (!x)
    abort();
}

main()
{
  int *p = &i;

  check(p != (void *)0);
  exit (0);
}