From 92ff9919ff370d914e597f3675670516ac71b6dc Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 9 Nov 2017 12:25:47 +0100
Subject: Use address for printing address constant. Bug 22525

---
 backend/PrintAsm.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'backend/PrintAsm.ml')

diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml
index 0a8af584..b489bc11 100644
--- a/backend/PrintAsm.ml
+++ b/backend/PrintAsm.ml
@@ -100,8 +100,9 @@ module Printer(Target:TARGET) =
           if Z.gt n Z.zero then
             fprintf oc "	.space	%s\n" (Z.to_string n)
       | Init_addrof(symb, ofs) ->
-          fprintf oc "	.long	%a\n"
-            symbol_offset (symb, ofs)
+        fprintf oc "	%s	%a\n"
+          Target.address
+          symbol_offset (symb, ofs)
 
 
     let print_init_data oc name id =
-- 
cgit