blob: daa7ef54c9f8ad55dddb9583bb119f117610349d [file] [log] [blame]
// RUN: %clang_analyze_cc1 -analyzer-checker=core -verify -Wno-objc-root-class %s
// expected-no-diagnostics
// Test reasoning about static locals in ObjCMethods.
int *getValidPtr();
@interface Radar11275803
- (int) useStaticInMethod;
@end
@implementation Radar11275803
- (int) useStaticInMethod
{
static int *explInit = 0;
static int implInit;
if (!implInit)
explInit = getValidPtr();
return *explInit; //no-warning
}
@end