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