| Eli Friedman | 16fee08 | 2017-09-27 23:29:37 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| 2 | // RUN: %clang_cc1 -E %s | FileCheck %s |
| 3 | |
| 4 | // CHECK: #pragma clang assume_nonnull begin |
| 5 | #pragma clang assume_nonnull begin |
| 6 | |
| 7 | int bar(int * ip) { return *ip; } |
| 8 | |
| 9 | // CHECK: #pragma clang assume_nonnull end |
| 10 | #pragma clang assume_nonnull end |
| 11 | |
| 12 | int foo(int * _Nonnull ip) { return *ip; } |
| 13 | |
| 14 | int main() { |
| 15 | return bar(0) + foo(0); // expected-warning 2 {{null passed to a callee that requires a non-null argument}} |
| 16 | } |