Merge branch 'master' into json_export

Conflicts:
	driver/Driver.ml

1 files changed, 10 insertions, 0 deletions

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;
+}