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