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