diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-10 10:12:09 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-10 10:12:09 +0000 |
commit | a9578873a5bdf14c47650cc3dd9d21e3bcef2370 (patch) | |
tree | fb536f66c392c2d82ab5f5ac45b53ea12ac20b63 /cfrontend | |
parent | 1132f0865a3d5fe3dd43b1d2d9c4580e10436107 (diff) | |
download | compcert-a9578873a5bdf14c47650cc3dd9d21e3bcef2370.tar.gz compcert-a9578873a5bdf14c47650cc3dd9d21e3bcef2370.zip |
Revised signed/unsigned char handling.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1599 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 284b825b..23d05029 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -239,7 +239,8 @@ let convertInt n = coqint_of_camlint(Int64.to_int32 n) let convertIkind = function | C.IBool -> unsupported "'_Bool' type"; (Unsigned, I8) - | C.IChar -> ((if Configuration.signed_char then Signed else Unsigned), I8) + | C.IChar -> ((if (!Cparser.Machine.config).Cparser.Machine.char_signed + then Signed else Unsigned), I8) | C.ISChar -> (Signed, I8) | C.IUChar -> (Unsigned, I8) | C.IInt -> (Signed, I32) |