From 06c55ab8fa4c0bf59479faf03d30a51c780da36e Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 9 Mar 2011 09:43:17 +0000
Subject: 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
---
 driver/Driver.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index d6d18689..54a9c47e 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -357,7 +357,9 @@ let cmdline_actions =
 
 let _ =
   Gc.set { (Gc.get()) with Gc.minor_heap_size = 524288 };
-  Cparser.Machine.config := Cparser.Machine.ilp32ll64;
+  Cparser.Machine.config :=
+    { Cparser.Machine.ilp32ll64
+      with Cparser.Machine.char_signed = Configuration.signed_char };
   Cparser.Builtins.set C2C.builtins;
   CPragmas.initialize();
   parse_cmdline cmdline_actions usage_string;
-- 
cgit