17 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify %s2// RUN: %clang_cc1 -E %s | FileCheck %s3 4// CHECK: #pragma clang assume_nonnull begin5#pragma clang assume_nonnull begin6 7int bar(int * ip) { return *ip; }8 9// CHECK: #pragma clang assume_nonnull end10#pragma clang assume_nonnull end11 12int foo(int * _Nonnull ip) { return *ip; }13 14int main(void) {15 return bar(0) + foo(0); // expected-warning 2 {{null passed to a callee that requires a non-null argument}}16}17