From 70ba4908d09f40432a74f08581e116c1523ddbc5 Mon Sep 17 00:00:00 2001
From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 10 Nov 2009 02:45:49 +0000
Subject: [PATCH] Add test case for PointerSubChecker.

llvm-svn: 86657
---
 clang/test/Analysis/ptr-arith.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/clang/test/Analysis/ptr-arith.c b/clang/test/Analysis/ptr-arith.c
index f77d7f5ee5ad..fd780e8e1066 100644
--- a/clang/test/Analysis/ptr-arith.c
+++ b/clang/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
+}
-- 
GitLab