1 // RUN: %clang_analyze_cc1 -std=c++11 -analyzer-checker=core -verify %s
2 
3 void nonnull [[gnu::nonnull]] (int *q);
4 
5 void f1(int *p) {
6   if (p)
7     return;
8   nonnull(p); //expected-warning{{nonnull}}
9 }
10 
11 void f2(int *p) {
12   if (p)
13     return;
14   auto lambda = [](int *q) __attribute__((nonnull)){};
15   lambda(p); //expected-warning{{nonnull}}
16 }
17 
18 template <class... ARGS>
19 void variadicNonnull(ARGS... args) __attribute__((nonnull));
20 
21 void f3(int a, float b, int *p) {
22   if (p)
23     return;
24   variadicNonnull(a, b, p); //expected-warning{{nonnull}}
25 }
26 
27 int globalVar = 15;
28 void moreParamsThanArgs [[gnu::nonnull(2, 4)]] (int a, int *p, int b = 42, int *q = &globalVar);
29 
30 void f4(int a, int *p) {
31   if (p)
32     return;
33   moreParamsThanArgs(a, p); //expected-warning{{nonnull}}
34 }
35