diff options
Diffstat (limited to 'cfrontend/C2C.ml')
| -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 a23c3cdc..e709c082 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -930,8 +930,8 @@ let rec convertExpr env e = | C.ECall({edesc = C.EVar {name = "__builtin_va_arg"}}, [arg1; arg2]) -> make_builtin_va_arg env (convertTyp env e.etyp) (convertExpr env arg1) - | C.ECall({edesc = C.EVar {name = "__builtin_va_end"}}, _) -> - Ecast (ezero, Tvoid) + | C.ECall({edesc = C.EVar {name = "__builtin_va_end"}}, [arg]) -> + Ecast (convertExpr env arg, Tvoid) | C.ECall({edesc = C.EVar {name = "__builtin_va_copy"}}, [arg1; arg2]) -> let dst = convertExpr env arg1 in |