From 42e397bd80389c7e7259f962415769b06561bb5d Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 14 Mar 2015 11:25:50 +0100
Subject: Missing initialization of current_function_sig.

---
 arm/TargetPrinter.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'arm')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 62dd2bc2..84cdb597 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -1073,6 +1073,7 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET =
         align
 
     let print_instructions oc fn =
+      current_function_sig := fn.fn_sig;
       ignore (fixup_arguments oc Incoming fn.fn_sig);
       print_instructions oc fn.fn_code;
       if !literals_in_code then emit_constants oc
-- 
cgit