Ted Kremenek | 033a07e | 2011-08-03 23:14:55 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.core -analyzer-store=region -verify %s |
Ted Kremenek | d1f5ff7 | 2008-09-23 18:05:01 +0000 | [diff] [blame] | 2 | |
| 3 | // This is a test case for the issue reported in PR 2819: |
| 4 | // http://llvm.org/bugs/show_bug.cgi?id=2819 |
| 5 | // The flow-sensitive dataflow solver should work even when no block in |
| 6 | // the CFG reaches the exit block. |
| 7 | |
| 8 | int g(int x); |
| 9 | void h(int x); |
| 10 | |
| 11 | int f(int x) |
| 12 | { |
| 13 | out_err: |
| 14 | if (g(x)) { |
| 15 | h(x); |
| 16 | } |
| 17 | goto out_err; |
| 18 | } |