From 77ce8ba291afa9f5629a160df440f9af6614f3ef Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 27 Jul 2020 09:54:00 +0200
Subject: Add __builtin_sqrt as synonymous for __builtin_fsqrt

__builtin_sqrt (no "f") is the name used by GCC and Clang.
---
 cfrontend/C2C.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index c7cd4937..2386eed9 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -200,6 +200,8 @@ let builtins_generic = {
     (* Float arithmetic *)
     "__builtin_fsqrt",
     (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
+    "__builtin_sqrt",
+    (TFloat(FDouble, []), [TFloat(FDouble, [])], false);
     (* Block copy *)
     "__builtin_memcpy_aligned",
          (TVoid [],
-- 
cgit