Treat "char" as unsigned OR signed depending on the configuration.

Fixed infinite expansion of some recursive struct type where recursion goes through a typeded.


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

1 files changed, 14 insertions, 0 deletions

diff --git a/configure b/configure
index 5744c54..8f8c829 100755
--- a/configure
+++ b/configure
@@ -70,6 +70,7 @@ case "$target" in
     arch="powerpc"
     variant="macosx"
     system="macosx"
+    signed_char="false"
     cc="gcc -arch ppc"
     cprepro="gcc -arch ppc -U__GNUC__ -U__BLOCKS__ -E"
     casm="gcc -arch ppc -c"
@@ -80,6 +81,7 @@ case "$target" in
     arch="powerpc"
     variant="eabi"
     system="linux"
+    signed_char="false"
     cc="gcc"
     cprepro="gcc -U__GNUC__ -E"
     casm="gcc -c"
@@ -90,6 +92,7 @@ case "$target" in
     arch="arm"
     variant="linux"
     system="linux"
+    signed_char="false"
     cc="gcc"
     cprepro="gcc -U__GNUC__ -E"
     casm="gcc -c"
@@ -100,6 +103,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="linux"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -110,6 +114,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="bsd"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -120,6 +125,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="macosx"
+    signed_char="true"
     cc="gcc -arch i386"
     cprepro="gcc -arch i386 -U__GNUC__ -U__BLOCKS__ -E"
     casm="gcc -arch i386 -c"
@@ -130,6 +136,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="cygwin"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -162,6 +169,7 @@ cat >> Makefile.config <<EOF
 ARCH=$arch
 VARIANT=$variant
 SYSTEM=$system
+SIGNED_CHAR=$signed_char
 CC=$cc
 CPREPRO=$cprepro
 CASM=$casm
@@ -199,6 +207,11 @@ VARIANT=
 # SYSTEM=cygwin
 SYSTEM=
 
+# Is the "char" type signed?
+#SIGNED_CHAR=false
+#SIGNED_CHAR=true
+SIGNED_CHAR=
+
 # C compiler for compiling library files
 CC=gcc
 
@@ -242,6 +255,7 @@ CompCert configuration:
     Target architecture........... $arch
     Application binary interface.. $variant
     OS and development env........ $system
+    "char" type is signed?........ $signed_char
     C compiler.................... $cc
     C preprocessor................ $cprepro
     Assembler..................... $casm