17 lines
448 B
C
17 lines
448 B
C
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
||
|
|
// RUN: %clang_cc1 -E %s | FileCheck %s
|
||
|
|
|
||
|
|
// CHECK: #pragma clang assume_nonnull begin
|
||
|
|
#pragma clang assume_nonnull begin
|
||
|
|
|
||
|
|
int bar(int * ip) { return *ip; }
|
||
|
|
|
||
|
|
// CHECK: #pragma clang assume_nonnull end
|
||
|
|
#pragma clang assume_nonnull end
|
||
|
|
|
||
|
|
int foo(int * _Nonnull ip) { return *ip; }
|
||
|
|
|
||
|
|
int main() {
|
||
|
|
return bar(0) + foo(0); // expected-warning 2 {{null passed to a callee that requires a non-null argument}}
|
||
|
|
}
|