11 lines · c
1// Simply marking this as "#pragma clang system_header" didn't tickle the bug2 3void system1(int *ptr);4#if WARN_IN_SYSTEM_HEADERS5// 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#endif9 10void system2(int * _Nonnull);11