[cfe-commits] r86657 - /cfe/trunk/test/Analysis/ptr-arith.c

[Zhongxing Xu]

Author: zhongxingxu
Date: Mon Nov  9 20:45:49 2009
New Revision: 86657

URL: http://llvm.org/viewvc/llvm-project?rev=86657&view=rev
Log:
Add test case for PointerSubChecker.

Modified:
    cfe/trunk/test/Analysis/ptr-arith.c

Modified: cfe/trunk/test/Analysis/ptr-arith.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/ptr-arith.c?rev=86657&r1=86656&r2=86657&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/ptr-arith.c (original)
+++ cfe/trunk/test/Analysis/ptr-arith.c Mon Nov  9 20:45:49 2009
@@ -55,3 +55,8 @@
   int a[10];
   p = a + 1; // no-warning
 }
+
+// Allow arithmetic on different symbolic regions.
+void f6(int *p, int *q) {
+  int d = q - p; // no-warning
+}