[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 0834274..fe56554 100644
--- a/test/Analysis/dead-stores.m
+++ b/test/Analysis/dead-stores.m
@@ -88,3 +88,23 @@
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
