new.cpp revision 2aed8b88613863f3c439cdfb205bdf8b608fb205
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