view clang/test/Analysis/flexignore.c @ 236:c4bab56944e8 llvm-original

LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents
children
line wrap: on
line source

// 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}}
}