| Daniel Dunbar | 4fcfde4 | 2009-11-08 01:45:36 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-cfref -analyzer-store=basic -verify %s |
| Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 2 | // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s |
| Ted Kremenek | d1f5ff7 | 2008-09-23 18:05:01 +0000 | [diff] [blame] | 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 | } |