1 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify -DEXPECT_NO_DIAGNOSTICS %s
2 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify=conditional %s \
3 // RUN: -analyzer-config ignore-flex-generated-files=false
4
5 #ifdef EXPECT_NO_DIAGNOSTICS
6 // expected-no-diagnostics
7 #endif
8
9 /* A lexical scanner generated by flex */
10
11 void clang_analyzer_warnIfReached(void);
foo(void)12 void foo(void) {
13 clang_analyzer_warnIfReached(); // conditional-warning {{REACHABLE}}
14 }
15