1 // { dg-options -Wnonnull }
2 
3 void g(void *) __attribute__ ((nonnull (1)));
f(void * p)4 void f(void *p)
5 {
6   g(1 == 1 ? p : 0);
7 }
8