diff options
Diffstat (limited to 'cfrontend/C2C.ml')
-rw-r--r-- | cfrontend/C2C.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 285797d7..8083535a 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -576,6 +576,9 @@ let rec convertExpr env e = | C.ECall({edesc = C.EVar {name = "__builtin_memcpy_aligned"}}, args) -> make_builtin_memcpy (convertExprList env args) + | C.ECall({edesc = C.EVar {name = "__builtin_fabs"}}, [arg]) -> + Eunop(Oabsfloat, convertExpr env arg, ty) + | C.ECall(fn, args) -> if not (supported_return_type env e.etyp) then unsupported ("function returning a result of type " ^ string_of_type e.etyp); |