no-exit-cfg.c revision 8382cf57b722f130f1a6b45380639871c07271c1
1// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=basic -verify %s 2// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s 3 4// This is a test case for the issue reported in PR 2819: 5// http://llvm.org/bugs/show_bug.cgi?id=2819 6// The flow-sensitive dataflow solver should work even when no block in 7// the CFG reaches the exit block. 8 9int g(int x); 10void h(int x); 11 12int f(int x) 13{ 14out_err: 15 if (g(x)) { 16 h(x); 17 } 18 goto out_err; 19} 20