| Zhongxing Xu | 40ab43b | 2010-04-20 05:48:57 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s |
| 2 | |||||
| 3 | void f1() { | ||||
| 4 | int *n1 = new int; | ||||
| 5 | if (*n1) { // expected-warning {{Branch condition evaluates to a garbage value}} | ||||
| 6 | } | ||||
| 7 | |||||
| 8 | int *n2 = new int(3); | ||||
| 9 | if (*n2) { // no-warning | ||||
| 10 | } | ||||
| 11 | } | ||||
| 12 | |||||