1// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify -Wno-objc-root-class %s 2// expected-no-diagnostics 3 4// Test reasoning about static locals in ObjCMethods. 5int *getValidPtr(); 6@interface Radar11275803 7- (int) useStaticInMethod; 8@end 9@implementation Radar11275803 10 11- (int) useStaticInMethod 12{ 13 static int *explInit = 0; 14 static int implInit; 15 if (!implInit) 16 explInit = getValidPtr(); 17 return *explInit; //no-warning 18} 19@end