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 {
f0()7 bool f0() { if constexpr (true); return true; }
f1()8 bool f1() { if constexpr (true); return f0(); }
f2()9 bool f2() { if constexpr (true); return f1(); }
f3()10 bool f3() { if constexpr (true); return f2(); }
f4()11 bool f4() { if constexpr (true); return f3(); }
f5()12 bool f5() { if constexpr (true); return f4(); }
f6()13 bool f6() { if constexpr (true); return f5(); }
f7()14 bool f7() { if constexpr (true); return f6(); }
bar()15 void bar() {
16   clang_analyzer_eval(f7()); // expected-warning{{TRUE}}
17 }
18 } // namespace inline_large_functions_with_if_constexpr
19