From c420bc8d3b87d71c38209b5ab8bca22875466362 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 25 Sep 2019 21:31:57 +0200
Subject: __builtin_expect defined as its first argument

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

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index dc25b516..421c4b07 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -157,9 +157,10 @@ let ais_annot_functions =
 let builtins_generic = {
   builtin_typedefs = [];
   builtin_functions =
-    ais_annot_functions
-      @
+    ais_annot_functions @
     [
+    "__builtin_expect",
+    (TInt(ILong, []), [TInt(ILong, []); TInt(ILong, [])], false);
     (* Integer arithmetic *)
     "__builtin_bswap64",
     (TInt(IULongLong, []), [TInt(IULongLong, [])], false);
-- 
cgit