clang/test/Analysis/inline-if-constexpr.cpp

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
   2 // RUN:   -analyzer-inline-max-stack-depth=5 -w -std=c++17 -verify %s
   3
   4 void clang_analyzer_eval(bool);
   5
   6 namespace inline_large_functions_with_if_constexpr {
   7 bool f0() { if constexpr (true); return true; }
   8 bool f1() { if constexpr (true); return f0(); }
   9 bool f2() { if constexpr (true); return f1(); }
  10 bool f3() { if constexpr (true); return f2(); }
  11 bool f4() { if constexpr (true); return f3(); }
  12 bool f5() { if constexpr (true); return f4(); }
  13 bool f6() { if constexpr (true); return f5(); }
  14 bool f7() { if constexpr (true); return f6(); }
  15 void bar() {
  16   clang_analyzer_eval(f7()); // expected-warning{{TRUE}}
  17 }
  18 } // namespace inline_large_functions_with_if_constexpr