Introduce ObjCMessageExpr::getReceiverRange() to get the source range of the receiver.
[clang.git] / test / Analysis / rdar-6600344-nil-receiver-undefined-struct-ret.m
blob838a98b2b79d963712af7f00030eeddc2cc6c097
1 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-constraints=basic -analyzer-store=basic %s -verify
2 // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-constraints=basic -analyzer-store=region %s -verify
4 typedef struct Foo { int x; } Bar;
6 @interface MyClass {}
7 - (Bar)foo;
8 @end
9 @implementation MyClass
10 - (Bar)foo { 
11   struct Foo f = { 0 };
12   return f;
14 @end
16 void createFoo() {
17   MyClass *obj = 0;  
18   Bar f = [obj foo]; // expected-warning{{The receiver of message 'foo' is nil and returns a value of type 'Bar' that will be garbage}}
21 void createFoo2() {
22   MyClass *obj = 0;  
23   [obj foo]; // no-warning
24   Bar f = [obj foo]; // expected-warning{{The receiver of message 'foo' is nil and returns a value of type 'Bar' that will be garbage}}