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/ptrs3.c | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 test/regression/ptrs3.c

(limited to 'test/regression/ptrs3.c')

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