From 3304820b870e4524c7d1f14fcd62506634f7922b Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 18 Dec 2014 14:21:58 +0100 Subject: Added dummy printing function for entries. --- powerpc/PrintDiab.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'powerpc') diff --git a/powerpc/PrintDiab.ml b/powerpc/PrintDiab.ml index 1aa27405..00a5c989 100644 --- a/powerpc/PrintDiab.ml +++ b/powerpc/PrintDiab.ml @@ -217,6 +217,9 @@ module Diab_System = end) + let rec print_entry oc entry has_sibling = + () + let print_debug_info oc entry = AbbrvPrinter.print_debug_abbrv oc entry; let abbrv_start = AbbrvPrinter.get_abbrv_start_addr () in @@ -232,7 +235,7 @@ module Diab_System = fprintf oc " .2byte 0x2\n"; (* Dwarf version *) fprintf oc " .4byte %a\n" label abbrv_start; (* Offset into the abbreviation *) fprintf oc " .byte %X\n" !Machine.config.Machine.sizeof_ptr; (* Sizeof pointer type *) - (); + print_entry oc entry false; fprintf oc "%a\n" label debug_end; (* End of the debug section *) fprintf oc " .sleb128 0\n" -- cgit