From 25c616a17851ae5c61fa15ccbeba0e3efb8f3365 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 1 Jan 2014 17:36:48 +0000
Subject: powerpc: bad use of GPR0 in va_start. arm: typo.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2396 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 arm/PrintAsm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm')

diff --git a/arm/PrintAsm.ml b/arm/PrintAsm.ml
index 81c8c38..6398ba3 100644
--- a/arm/PrintAsm.ml
+++ b/arm/PrintAsm.ml
@@ -722,7 +722,7 @@ let print_instruction oc = function
       let ninstr = subimm "sp" "sp" sz in
       cfi_adjust oc sz';
       fprintf oc "	str	r12, [sp, #%a]\n" coqint ofs;
-      current_function_stacksize := rsz;
+      current_function_stacksize := sz';
       ninstr + (if (!current_function_sig).sig_cc.cc_vararg then 3 else 2)
   | Pfreeframe(sz, ofs) ->
       let sz =
-- 
cgit v1.2.3