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