1 // Simply marking this as "#pragma clang system_header" didn't tickle the bug
2 
3 void system1(int *ptr);
4 #if WARN_IN_SYSTEM_HEADERS
5 // expected-warning@-2{{pointer is missing a nullability type specifier}}
6 // expected-note@-3 {{insert '_Nullable' if the pointer may be null}}
7 // expected-note@-4 {{insert '_Nonnull' if the pointer should never be null}}
8 #endif
9 
10 void system2(int * _Nonnull);
11