diff options
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index e53f56a9..c05c995a 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -869,23 +869,11 @@ module Target (System : SYSTEM):TARGET = let get_debug_start_addr () = !debug_start_addr - module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs - let new_label = new_label let section oc sec = section oc sec; debug_section oc sec - - let locations = (Hashtbl.create 17 : (atom,DwarfTypes.location_value) Hashtbl.t) - - let get_location a = try Some (Hashtbl.find locations a) with Not_found -> None - - let get_segment_location _ = None - - let add_var_location a = - if !Clflags.option_g && Configuration.advanced_debug then - Hashtbl.add locations a (DwarfTypes.LocSymbol a); end let sel_target () = |