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