diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-11 09:41:30 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-03-11 09:41:30 +0000 |
commit | bd3e0f3a49e9f785dd75f2806bf791e3aa58b584 (patch) | |
tree | 63e6320ebc72da1f0143f49aeb822a8a16801d5c /cfrontend | |
parent | 7dd08351a9167f99c04f47042fb83c03e10d5552 (diff) |
Fixed parsing of hex float literals 0xNNNpMMM.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2144 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index f34c396..f80b379 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -370,7 +370,7 @@ let convertFloat f kind = (if f.C.hex then 4 else 1) * String.length f.C.fracPart in let exp = Z.sub exp (Z.of_uint shift_exp) in - let base = P.of_int (if f.C.hex then 16 else 10) in + let base = P.of_int (if f.C.hex then 2 else 10) in begin match kind with | FFloat -> |