From bdbf444704c031a37039d4aeb2f19d05550afbd6 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 30 Jun 2015 14:48:17 +0200
Subject: Signedness issue in specification of subtraction between two
 pointers.

---
 test/regression/Results/ptrs3 | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 test/regression/Results/ptrs3

(limited to 'test/regression/Results/ptrs3')

diff --git a/test/regression/Results/ptrs3 b/test/regression/Results/ptrs3
new file mode 100644
index 00000000..17af0459
--- /dev/null
+++ b/test/regression/Results/ptrs3
@@ -0,0 +1,2 @@
+p - q = -9
+q - p = 9
-- 
cgit