| Argyrios Kyrtzidis | c4d2c90 | 2011-02-28 19:49:42 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 2 | |
| 3 | void f1() { |
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 4 | int *n = new int; |
| 5 | if (*n) { // expected-warning {{Branch condition evaluates to a garbage value}} |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 6 | } |
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 7 | } |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 8 | |
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 9 | void f2() { |
| 10 | int *n = new int(3); |
| 11 | if (*n) { // no-warning |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 12 | } |
| 13 | } |
| 14 | |