diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-18 14:21:58 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-18 14:21:58 +0100 |
commit | 3304820b870e4524c7d1f14fcd62506634f7922b (patch) | |
tree | 5ac9f53017942609b3f5fd750276b873c29edcbf /powerpc | |
parent | a80705575b12c9813d6a7ecf92bb33aedd10b09e (diff) | |
download | compcert-3304820b870e4524c7d1f14fcd62506634f7922b.tar.gz compcert-3304820b870e4524c7d1f14fcd62506634f7922b.zip |
Added dummy printing function for entries.
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/PrintDiab.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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" |