From 4eb3efa2ccbf58c59a8d181c7d616b3d0c06e02b Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Nov 2016 10:35:35 +0100
Subject: Use 64 bit address in debug information.

Address constants need to be 64bit also in the debug information.
Bug 20335
---
 backend/PrintAsmaux.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/PrintAsmaux.ml')

diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index b220659c..ff276af1 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -45,6 +45,7 @@ module type TARGET =
       val default_falignment: int
       val new_label: unit -> int
       val label: out_channel -> int -> unit
+      val address: string
     end
 
 (* On-the-fly label renaming *)
-- 
cgit