21 lines · c
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -verify %s2// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-config cfg-scopes=true -verify %s3// expected-no-diagnostics4 5// This is a test case for the issue reported in PR 2819:6// http://llvm.org/bugs/show_bug.cgi?id=28197// The flow-sensitive dataflow solver should work even when no block in8// the CFG reaches the exit block.9 10int g(int x);11void h(int x);12 13int f(int x)14{15out_err:16 if (g(x)) {17 h(x);18 }19 goto out_err;20}21