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
19