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