Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 22504b61 authored by Cyril SIX's avatar Cyril SIX
Browse files

Commenting out __builtin_expect from AbsInt

parent 5a632954
......@@ -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 ->
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment