blob: 7575152295ebc8adcfc2e4e6ac248c50d80c8a5b [file] [log] [blame]
Dominic Chen184c6242017-03-03 18:02:02 +00001// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -analyzer-store=region -verify %s
Andy Gibbsc6e68da2012-10-19 12:44:48 +00002// expected-no-diagnostics
Ted Kremenek81ec48a2008-09-23 18:05:01 +00003
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}