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/Makefile      |  2 +-
 test/regression/Results/ptrs3 |  2 ++
 test/regression/ptrs3.c       | 10 ++++++++++
 3 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 test/regression/Results/ptrs3
 create mode 100644 test/regression/ptrs3.c

(limited to 'test')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 94c212d2..da7d5755 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -17,7 +17,7 @@ TESTS=int32 int64 floats floats-basics \
   volatile1 volatile2 volatile3 \
   funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \
   sizeof1 sizeof2 binops bool for1 switch switch2 compound \
-  decl1 interop1 bitfields9
+  decl1 interop1 bitfields9 ptrs3
 
 # Can run, but only in compiled mode, and have reference output in Results
 
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
diff --git a/test/regression/ptrs3.c b/test/regression/ptrs3.c
new file mode 100644
index 00000000..e0425af4
--- /dev/null
+++ b/test/regression/ptrs3.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+int main() { 
+  int a[10];
+  int *p = &a[0];
+  int *q = &a[9];
+  printf("p - q = %d\n", (int)(p - q));
+  printf("q - p = %d\n", (int)(q - p));
+  return 0;
+}
-- 
cgit