From: Anna Zaks Date: Tue, 15 May 2012 23:12:53 +0000 (+0000) Subject: [analyzer] Add a test for dead stores, which uses OpaqueValExpr. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f1db0c9d8db882972832b0a16bbf2e5943605ed0;p=clang [analyzer] Add a test for dead stores, which uses OpaqueValExpr. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156875 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Analysis/dead-stores.m b/test/Analysis/dead-stores.m index 083427478d..fe565547e1 100644 --- a/test/Analysis/dead-stores.m +++ b/test/Analysis/dead-stores.m @@ -88,3 +88,23 @@ void rdar10591355() { RDar10591355 *p = rdar10591355_aux(); ^{ (void) p.x; }(); } + +@interface Radar11059352_1 { +@private + int *_pathString; +} +@property int *pathString; +@end +@interface Radar11059352 { +@private +Radar11059352_1 *_Path; +} +@end +@implementation Radar11059352 + +- (int*)usePath { + Radar11059352_1 *xxxxx = _Path; // no warning + int *wp = xxxxx.pathString; + return wp; +} +@end