16 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \2// RUN: -std=c++14 -verify %s3 4typedef __typeof(sizeof(int)) size_t;5 6void clang_analyzer_eval(bool);7 8template <int... N> size_t foo() {9 return sizeof...(N);10}11 12void bar() {13 clang_analyzer_eval(foo<>() == 0); // expected-warning{{TRUE}}14 clang_analyzer_eval(foo<1, 2, 3>() == 3); // expected-warning{{TRUE}}15}16