// 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 |