[cfe-commits] r89538 - /cfe/trunk/test/Analysis/misc-ps-region-store.m

[Ted Kremenek]

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}}
+}