From 22504b61be43e5d4a97db621ce3c1785618bbaf0 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 1 Jun 2021 14:46:13 +0200
Subject: Commenting out __builtin_expect from AbsInt

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

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 22c9466b..bab58244 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -1041,8 +1041,8 @@ let rec convertExpr env e =
       ewrap (Ctyping.eselection (convertExpr env arg1)
                                 (convertExpr env arg2) (convertExpr env arg3))
 
-  | C.ECall({edesc = C.EVar {name = "__builtin_expect"}}, [arg1; arg2]) ->
-      convertExpr env arg1
+  (*| C.ECall({edesc = C.EVar {name = "__builtin_expect"}}, [arg1; arg2]) ->
+      convertExpr env arg1*)
 
   | C.ECall({edesc = C.EVar {name = "printf"}}, args)
     when !Clflags.option_interp ->
-- 
cgit