blob: 5ca8c462bdf53ec3f1d1b739b777e8d08c0aa84c [file] [log] [blame]
// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store region -verify %s
// XFAIL: *
void f1() {
int *n = new int;
if (*n) { // expected-warning {{Branch condition evaluates to a garbage value}}
}
}
void f2() {
int *n = new int(3);
if (*n) { // no-warning
}
}