From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 10 Nov 2009 02:45:49 +0000 (+0000)
Subject: Add test case for PointerSubChecker.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=79234ca446858707fa311cd0dfea85519ba3bbd5;p=clang

Add test case for PointerSubChecker.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86657 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/Analysis/ptr-arith.c b/test/Analysis/ptr-arith.c
index f77d7f5ee5..fd780e8e10 100644
--- a/test/Analysis/ptr-arith.c
+++ b/test/Analysis/ptr-arith.c
@@ -55,3 +55,8 @@ void f5() {
   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
+}