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