clang/test/Analysis/sizeofpack.cpp

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