diff options
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp | 9 | ||||
| -rw-r--r-- | test/Analysis/unused-ivars.m | 21 |
2 files changed, 30 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp b/lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp index ea6f8e109b..8792144dde 100644 --- a/lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/ObjCUnusedIVarsChecker.cpp @@ -47,6 +47,15 @@ static void Scan(IvarUsageMap& M, const Stmt *S) { return; } + if (const PseudoObjectExpr *POE = dyn_cast<PseudoObjectExpr>(S)) + for (PseudoObjectExpr::const_semantics_iterator + i = POE->semantics_begin(), e = POE->semantics_end(); i != e; ++i) { + const Expr *sub = *i; + if (const OpaqueValueExpr *OVE = dyn_cast<OpaqueValueExpr>(sub)) + sub = OVE->getSourceExpr(); + Scan(M, sub); + } + for (Stmt::const_child_iterator I=S->child_begin(),E=S->child_end(); I!=E;++I) Scan(M, *I); } diff --git a/test/Analysis/unused-ivars.m b/test/Analysis/unused-ivars.m index 8941840780..f04132ba45 100644 --- a/test/Analysis/unused-ivars.m +++ b/test/Analysis/unused-ivars.m @@ -108,3 +108,24 @@ int radar_7254495(RDar7254495 *a) { @implementation RDar8481311 @end + +@class NSString; +@interface Radar11059352_1 { +@private + NSString *_pathString; +} +@property (readonly, strong) NSString *pathString; +@end + +@interface Radar11059352 { +@private +Radar11059352_1 *_workspacePath; +} +@end + +@implementation Radar11059352 + +- (void)useWorkspace { + NSString *workspacePathString = _workspacePath.pathString; +} +@end
\ No newline at end of file |