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