| Daniel Dunbar | ae3c16c | 2008-10-04 20:46:41 +0000 | [diff] [blame] | 1 | // RUN: rm -rf %t && |
| Ted Kremenek | 6c07bdb | 2009-06-26 00:05:51 +0000 | [diff] [blame] | 2 | // RUN: clang-cc --html-diags=%t -checker-cfref %s |
| Daniel Dunbar | ae3c16c | 2008-10-04 20:46:41 +0000 | [diff] [blame] | 3 | |
| 4 | void f0(int x) { | ||||
| 5 | int *p = &x; | ||||
| 6 | |||||
| 7 | if (x > 10) { | ||||
| 8 | if (x == 22) | ||||
| 9 | p = 0; | ||||
| 10 | } | ||||
| 11 | |||||
| 12 | *p = 10; | ||||
| 13 | } | ||||
| 14 | |||||
| 15 | |||||