[cfe-commits] r57852 - /cfe/trunk/test/Analysis/misc-ps.m

[Ted Kremenek]

Author: kremenek
Date: Mon Oct 20 18:14:31 2008
New Revision: 57852

URL: http://llvm.org/viewvc/llvm-project?rev=57852&view=rev
Log:
Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known.

Modified:
    cfe/trunk/test/Analysis/misc-ps.m

Modified: cfe/trunk/test/Analysis/misc-ps.m
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/misc-ps.m?rev=57852&r1=57851&r2=57852&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/misc-ps.m (original)
+++ cfe/trunk/test/Analysis/misc-ps.m Mon Oct 20 18:14:31 2008
@@ -13,3 +13,19 @@
 //  http://llvm.org/bugs/show_bug.cgi?id=2796
 
 unsigned foo(unsigned x) { return __alignof__((x)) + sizeof(x); }
+
+// Improvement to path-sensitivity involving compound assignments.
+//  Addresses false positive in <rdar://problem/6268365>
+//
+
+unsigned r6268365Aux();
+
+void r6268365() {
+  unsigned x = 0;
+  x &= r6268365Aux();
+  unsigned j = 0;
+    
+  if (x == 0) ++j;
+  if (x == 0) x = x / j; // no-warning
+}
+