15 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify -DEXPECT_NO_DIAGNOSTICS %s2// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -verify=conditional %s \3// RUN: -analyzer-config ignore-bison-generated-files=false4 5#ifdef EXPECT_NO_DIAGNOSTICS6// expected-no-diagnostics7#endif8 9/* A Bison parser, made by GNU Bison 1.875. */10 11void clang_analyzer_warnIfReached(void);12void foo(void) {13 clang_analyzer_warnIfReached(); // conditional-warning {{REACHABLE}}14}15