27 lines · plain
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.core -verify -Wno-objc-root-class %s2// expected-no-diagnostics3 4typedef struct Foo { int x; } Bar;5 6@interface MyClass {}7- (Bar)foo;8@end9@implementation MyClass10- (Bar)foo { 11 struct Foo f = { 0 };12 return f;13}14@end15 16void createFoo(void) {17 MyClass *obj = 0; 18 Bar f = [obj foo]; // no-warning19}20 21void createFoo2(void) {22 MyClass *obj = 0; 23 [obj foo]; // no-warning24 Bar f = [obj foo]; // no-warning25}26 27