1*f4a2713aSLionel Sambuc// RUN: %clang_cc1 -analyze -analyzer-checker=core,alpha.core -analyzer-constraints=range -analyzer-store=region -verify -Wno-objc-root-class %s 2*f4a2713aSLionel Sambuc// expected-no-diagnostics 3*f4a2713aSLionel Sambuc 4*f4a2713aSLionel Sambuctypedef struct Foo { int x; } Bar; 5*f4a2713aSLionel Sambuc 6*f4a2713aSLionel Sambuc@interface MyClass {} 7*f4a2713aSLionel Sambuc- (Bar)foo; 8*f4a2713aSLionel Sambuc@end 9*f4a2713aSLionel Sambuc@implementation MyClass 10*f4a2713aSLionel Sambuc- (Bar)foo { 11*f4a2713aSLionel Sambuc struct Foo f = { 0 }; 12*f4a2713aSLionel Sambuc return f; 13*f4a2713aSLionel Sambuc} 14*f4a2713aSLionel Sambuc@end 15*f4a2713aSLionel Sambuc 16*f4a2713aSLionel Sambucvoid createFoo() { 17*f4a2713aSLionel Sambuc MyClass *obj = 0; 18*f4a2713aSLionel Sambuc Bar f = [obj foo]; // no-warning 19*f4a2713aSLionel Sambuc} 20*f4a2713aSLionel Sambuc 21*f4a2713aSLionel Sambucvoid createFoo2() { 22*f4a2713aSLionel Sambuc MyClass *obj = 0; 23*f4a2713aSLionel Sambuc [obj foo]; // no-warning 24*f4a2713aSLionel Sambuc Bar f = [obj foo]; // no-warning 25*f4a2713aSLionel Sambuc} 26*f4a2713aSLionel Sambuc 27