Author: kremenek
Date: Fri Nov 20 20:52:12 2009
New Revision: 89538
URL: http://llvm.org/viewvc/llvm-project?rev=89538&view=rev
Log:
Add RegionStore test case that shows that floating point values are also
implicitly tracked for undefined values. (test case for
<rdar://problem/6811085>).
Modified:
cfe/trunk/test/Analysis/misc-ps-region-store.m
Modified: cfe/trunk/test/Analysis/misc-ps-region-store.m
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps-region-store.m?rev=89538&r1=89537&r2=89538&view=diff
==============================================================================
--- cfe/trunk/test/Analysis/misc-ps-region-store.m (original)
+++ cfe/trunk/test/Analysis/misc-ps-region-store.m Fri Nov 20 20:52:12 2009
@@ -531,4 +531,13 @@
}
}
+//===----------------------------------------------------------------------===//
+// Test that the store (implicitly) tracks values for doubles/floats that are
+// uninitialized (<rdar://problem/6811085>)
+//===----------------------------------------------------------------------===//
+
+double rdar_6811085(void) {
+ double u;
+ return u + 10; // expected-warning{{The left operand of '+' is a garbage
value}}
+}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
