From c0ad7b0bc3b3639b410754feb8911788f06daf1c Mon Sep 17 00:00:00 2001 From: Michael Schwarz Date: Thu, 7 Nov 2019 09:25:42 +0100 Subject: [PATCH] Map Cabs.Tfloat128 to CIL TFloat with fkind FLongDouble. References #8 --- src/frontc/cabs2cil.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/frontc/cabs2cil.ml b/src/frontc/cabs2cil.ml index 8361dcfc8..fe569a011 100644 --- a/src/frontc/cabs2cil.ml +++ b/src/frontc/cabs2cil.ml @@ -2421,6 +2421,7 @@ let rec doSpecList (suggestedAnonName: string) (* This string will be part of | [A.Tdouble] -> TFloat(FDouble, []) | [A.Tlong; A.Tdouble] -> TFloat(FLongDouble, []) + | [A.Tfloat128] -> TFloat(FLongDouble, []) (* TODO: Correct? *) (* Now the other type specifiers *) | [A.Tnamed n] -> begin @@ -2541,8 +2542,8 @@ let rec doSpecList (suggestedAnonName: string) (* This string will be part of let e'' = match getInteger (constFold true e') with Some n -> - let ik = updateEnum n in - if !lowerConstants then kintegerCilint ik n else e' + let ik = updateEnum n in + if !lowerConstants then kintegerCilint ik n else e' | _ -> E.s (error "Constant initializer %a not an integer" d_exp e') in processName kname e'' (convLoc cloc) rest