diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-28 13:36:53 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-28 13:36:53 +0200 |
| commit | 5492b5b55afa68e3d628da07ff583a0cac79b7e3 (patch) | |
| tree | 65fc4ad3276bc11d88c5b9ed3cf9f96f66425536 /debug/DwarfPrinter.ml | |
| parent | 89476ea80ecfc7af02ef5026d0f45b61d243e3b0 (diff) | |
| download | compcert-kvx-5492b5b55afa68e3d628da07ff583a0cac79b7e3.tar.gz compcert-kvx-5492b5b55afa68e3d628da07ff583a0cac79b7e3.zip | |
Added location for the formal parameters and move the end of all
scopes before the last statement.
Diffstat (limited to 'debug/DwarfPrinter.ml')
| -rw-r--r-- | debug/DwarfPrinter.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml index 63ba4cd0..32c15dfd 100644 --- a/debug/DwarfPrinter.ml +++ b/debug/DwarfPrinter.ml @@ -131,7 +131,8 @@ module DwarfPrinter(Target: DWARF_TARGET): add_attr_some e.formal_parameter_artificial (add_abbr_entry (0x34,artificial_type_abbr)); add_attr_some e.formal_parameter_name add_name; add_type buf; - add_attr_some e.formal_parameter_variable_parameter (add_abbr_entry (0x4b,variable_parameter_type_abbr)) + add_attr_some e.formal_parameter_variable_parameter (add_abbr_entry (0x4b,variable_parameter_type_abbr)); + add_location e.formal_parameter_location buf | DW_TAG_label _ -> prologue 0xa; add_low_pc buf; @@ -419,7 +420,8 @@ module DwarfPrinter(Target: DWARF_TARGET): print_opt_value oc fp.formal_parameter_artificial print_flag; print_opt_value oc fp.formal_parameter_name print_string; print_ref oc fp.formal_parameter_type; - print_opt_value oc fp.formal_parameter_variable_parameter print_flag + print_opt_value oc fp.formal_parameter_variable_parameter print_flag; + print_opt_value oc fp.formal_parameter_location print_loc let print_tag_label oc tl = print_ref oc tl.label_low_pc; |