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