1 // PR c++/50757
2 // { dg-options "-Wformat -Wno-nonnull" }
3 
4 extern void *f (void *__s) __attribute__ ((__nonnull__ (1)));
5 
main()6 int main()
7 {
8   void* const s = 0;
9   f(s);
10 }
11