1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s
2
3 void f1() {
4 int *n = new int;
5 if (*n) { // expected-warning {{Branch condition evaluates to a garbage value}}
6 }
7 }
8
9 void f2() {
10 int *n = new int(3);
11 if (*n) { // no-warning
12 }
13 }
14
15