blob: c462fce1828f93bb416d1c2594d269a813be2894 [file] [log] [blame]
// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection \
// RUN: -verify %s
#define nil ((id)0)
void clang_analyzer_eval(int);
struct S {
int x;
@interface I
@property S s;
void foo() {
// This produces a zero-initialized structure.
// FIXME: This very fact does deserve the warning, because zero-initialized
// structures aren't always valid in C++. It's particularly bad when the
// object has a vtable.
S s = ((I *)nil).s;
clang_analyzer_eval(s.x == 0); // expected-warning{{TRUE}}