| 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 |
| Sebastian Redl | 2aed8b8 | 2012-02-16 12:22:20 +0000 | [diff] [blame] | 2 | // XFAIL: * |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 3 | |
| 4 | void f1() { | ||||
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 5 | int *n = new int; |
| 6 | if (*n) { // expected-warning {{Branch condition evaluates to a garbage value}} | ||||
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 7 | } |
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 8 | } |
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 9 | |
| Zhongxing Xu | 48fb322 | 2010-04-21 02:22:25 +0000 | [diff] [blame] | 10 | void f2() { |
| 11 | int *n = new int(3); | ||||
| 12 | if (*n) { // no-warning | ||||
| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame] | 13 | } |
| 14 | } | ||||
| 15 | |||||