diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-09 09:43:17 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-09 09:43:17 +0000 |
commit | 06c55ab8fa4c0bf59479faf03d30a51c780da36e (patch) | |
tree | 7d843aa10b43e96724d0717b1ab36fbef3e32ee6 /driver/Driver.ml | |
parent | 4b23f9300df9e2f532745f2810aaa1e0d61f08d8 (diff) | |
download | compcert-06c55ab8fa4c0bf59479faf03d30a51c780da36e.tar.gz compcert-06c55ab8fa4c0bf59479faf03d30a51c780da36e.zip |
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
Diffstat (limited to 'driver/Driver.ml')
-rw-r--r-- | driver/Driver.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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; |