From d7f75509c290d871cb8cd8aa11a0be2923c9ef17 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 22 Sep 2015 19:44:47 +0200
Subject: Record the scope structure during unblocking.

Instead of creating separate annotations for the local variables
we call the Debug.add_lvar_scope and we construct a mapping from
function id + scope id to scope information.
---
 ia32/TargetPrinter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ia32/TargetPrinter.ml')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index d1e213e2..b06f6f97 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -770,6 +770,8 @@ module Target(System: SYSTEM):TARGET =
 
     let get_stmt_list_addr () = -1 (* Dummy constant *)
 
+    let get_debug_start_addr () = -1 (* Dummy constant *)
+
     module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *)
 
     let label = label
-- 
cgit