Another regression

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1344 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

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 \

test/regression/Results/casts1

+65535

test/regression/casts1.c

+#include <stdio.h>
+
+int main(void)
+{
+        unsigned short p_69 = (signed char) (-1);
+        printf("%d\n", p_69);
+        return 0;
+}