clang/test/Analysis/yaccignore.c

   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-bison-generated-files=false
   4
   5 #ifdef EXPECT_NO_DIAGNOSTICS
   6 // expected-no-diagnostics
   7 #endif
   8
   9 /* A Bison parser, made by GNU Bison 1.875.  */
  10
  11 void clang_analyzer_warnIfReached(void);
  12 void foo(void) {
  13   clang_analyzer_warnIfReached(); // conditional-warning {{REACHABLE}}
  14 }