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