Author: zaks
Date: Tue May 15 18:12:53 2012
New Revision: 156875
URL: http://llvm.org/viewvc/llvm-project?rev=156875&view=rev
Log:
[analyzer] Add a test for dead stores, which uses OpaqueValExpr.
Modified:
cfe/trunk/test/Analysis/dead-stores.m
Modified: cfe/trunk/test/Analysis/dead-stores.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/dead-stores.m?rev=156875&r1=156874&r2=156875&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/dead-stores.m (original)
+++ cfe/trunk/test/Analysis/dead-stores.m Tue May 15 18:12:53 2012
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
