1 int f(int *p) __attribute__((nonnull)); 2 test(int * p)3 void test(int *p) { 4 if (!p) 5 f(p); // warn 6 }