1 int *a;
foo()2 int foo() {
3   if (a && a - (int *)0 > 0)
4     return 0;
5 }
6