diff options
Diffstat (limited to 'debug/Dwarfgen.ml')
-rw-r--r-- | debug/Dwarfgen.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 76e2d638..617c4570 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -470,9 +470,10 @@ module Dwarfgenaux (Target: TARGET) = let scope = { lexical_block_range = r; } in + let acc = (acc >>= dwr) in let vars,acc = mmap_opt (local_to_entry f_id) acc sc.scope_variables in let entry = new_entry id (DW_TAG_lexical_block scope) in - add_children entry vars,(acc >>= dwr) + add_children entry vars,acc and local_to_entry f_id acc id = match get_local_variable id with @@ -577,7 +578,8 @@ let gnu_file_loc (f,l) = let string_table: (string,int) Hashtbl.t = Hashtbl.create 7 let gnu_string_entry s = - if String.length s < 4 || Configuration.system = "cygwin" then (*Cygwin does not use the debug_str seciton *) + if (String.length s < 4 && Configuration.system <> "macosx") (* macosx needs debug_str *) + || Configuration.system = "cygwin" then (*Cygwin does not use the debug_str seciton*) Simple_string s else try |