new.cpp revision 40ab43b29bff9a240e5281e5952f59ddee623fca 
1// RUN: %clang_cc1 -analyze -analyzer-check-objc-mem -analyzer-store region -verify %s
2
3void 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
13