diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 14:46:13 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 14:46:13 +0200 |
| commit | 22504b61be43e5d4a97db621ce3c1785618bbaf0 (patch) | |
| tree | 426969777c0110ee2b4229ffb2ebb9d1fa599ef9 /cfrontend | |
| parent | 5a632954c85e8b2b5afea124e4fc83f39c5d3598 (diff) | |
| download | compcert-kvx-22504b61be43e5d4a97db621ce3c1785618bbaf0.tar.gz compcert-kvx-22504b61be43e5d4a97db621ce3c1785618bbaf0.zip | |
Commenting out __builtin_expect from AbsInt
Diffstat (limited to 'cfrontend')
| -rw-r--r-- | cfrontend/C2C.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 -> |