From df80f5b3745b5d85cbf42601f9532618c063d703 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 10 May 2010 07:59:27 +0000
Subject: Another regression

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1344 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile       | 2 +-
 test/regression/Results/casts1 | 1 +
 test/regression/casts1.c       | 8 ++++++++
 3 files changed, 10 insertions(+), 1 deletion(-)
 create mode 100644 test/regression/Results/casts1
 create mode 100644 test/regression/casts1.c

(limited to 'test')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index f8d2b879..4581bac8 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -8,7 +8,7 @@ LIBS=$(LIBMATH)
 
 # Can run and have reference output in Results
 TESTS=bitfields1 bitfields2 bitfields3 expr1 initializers volatile2 \
-  funct3 expr5 struct7 struct8 
+  funct3 expr5 struct7 struct8 casts1
 
 # Other tests: should compile to .s without errors (but expect warnings)
 EXTRAS=commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \
diff --git a/test/regression/Results/casts1 b/test/regression/Results/casts1
new file mode 100644
index 00000000..7a53b356
--- /dev/null
+++ b/test/regression/Results/casts1
@@ -0,0 +1 @@
+65535
diff --git a/test/regression/casts1.c b/test/regression/casts1.c
new file mode 100644
index 00000000..34962220
--- /dev/null
+++ b/test/regression/casts1.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+int main(void)
+{
+        unsigned short p_69 = (signed char) (-1);
+        printf("%d\n", p_69);
+        return 0;
+}
-- 
cgit