From 4cf2fc41657fac51d806c14fdf481c7047e39df3 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sat, 25 Jul 2020 10:38:18 +0200
Subject: Add support for __builtin_fabsf

---
 cfrontend/C2C.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 7f796fe3..75eeaf21 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -183,6 +183,8 @@ let builtins_generic = {
     (* Floating-point absolute value *)
     "__builtin_fabs",
     (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
+    "__builtin_fabsf",
+    (TFloat(FFloat, []), [TFloat(FFloat, [])], false);
     (* Float arithmetic *)
     "__builtin_fsqrt",
     (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
-- 
cgit