From 52c209f09fa266d4b05cccec061954efbd909ee6 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 11 Sep 2006 16:19:12 +0000
Subject: Eviter de caster les fonctions directement dans le cas variadique,
 gcc dit que c'est interdit

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@96 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 caml/Cil2Csyntax.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'caml')

diff --git a/caml/Cil2Csyntax.ml b/caml/Cil2Csyntax.ml
index de0b6165..85f3b186 100644
--- a/caml/Cil2Csyntax.ml
+++ b/caml/Cil2Csyntax.ml
@@ -491,12 +491,9 @@ let convertExpFuncall e tfun eList =
             | Econs (Expr (_, ty), rem) -> Tcons (ty, typeOfExprList rem) in
           let targs = typeOfExprList params in
           let tres = convertTyp res in
-          let tfun = Tfunction(targs, tres) in
           let (stub_fun_name, stub_fun_typ) =
             register_stub_function fun_name tres targs in
-          ((Expr(Ecast(tfun, Expr(Evar(intern_string stub_fun_name),
-                                  stub_fun_typ)),
-                 tfun)),
+          (Expr(Evar(intern_string stub_fun_name), stub_fun_typ),
            params)
       end
   | _ -> internal_error "convertExpFuncall: not a function"
-- 
cgit