1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,core.experimental -analyzer-store=basic -verify %s 2 // RUN: %clang_cc1 -analyze -analyzer-checker=core,core.experimental -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 9 int g(int x); 10 void h(int x); 11 12 int f(int x) 13 { 14 out_err: 15 if (g(x)) { 16 h(x); 17 } 18 goto out_err; 19 } 20
