From ce8f29b4b2502ce8c4da08dfea8796c49e2bc386 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 2 Jan 2015 13:15:13 +0100
Subject: PR#15: vararg functions are not eligible for inlining.

---
 cfrontend/C2C.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index f3487acc..f9501439 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -954,7 +954,7 @@ let convertFundef loc env fd =
       a_alignment = None;
       a_sections = Sections.for_function env id' fd.fd_ret;
       a_access = Sections.Access_default;
-      a_inline = fd.fd_inline;
+      a_inline = fd.fd_inline && not fd.fd_vararg;  (* PR#15 *)
       a_loc = loc };
   (id', Gfun(Internal {fn_return = ret;
                        fn_callconv = convertCallconv fd.fd_vararg fd.fd_attrib;
-- 
cgit