diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:05:15 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-09-22 17:05:15 +0200 |
| commit | d6722c797fc6830d805bc94741427e406f4e16ab (patch) | |
| tree | c0e8b8f51019ac6d2484adb4afdfa22cbe89b518 /debug/DwarfPrinter.ml | |
| parent | a8f8dea01b69dd7d85b51163dcde11e4ad55df6d (diff) | |
| download | compcert-kvx-d6722c797fc6830d805bc94741427e406f4e16ab.tar.gz compcert-kvx-d6722c797fc6830d805bc94741427e406f4e16ab.zip | |
Added sizetyp for subarray bounds. Fix 19894
Diffstat (limited to 'debug/DwarfPrinter.ml')
| -rw-r--r-- | debug/DwarfPrinter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/DwarfPrinter.ml b/debug/DwarfPrinter.ml index 9313b6c5..df67a352 100644 --- a/debug/DwarfPrinter.ml +++ b/debug/DwarfPrinter.ml @@ -184,7 +184,7 @@ module DwarfPrinter(Target: DWARF_TARGET): add_attr_some e.subprogram_type add_type; | DW_TAG_subrange_type e -> prologue 0x21 "DW_TAG_subrange_type"; - add_attr_some e.subrange_type add_type; + add_type buf; (match e.subrange_upper_bound with | None -> () | Some (BoundConst _) -> add_abbr_entry (0x2f,"DW_AT_upper_bound",DW_FORM_udata) buf @@ -491,7 +491,7 @@ module DwarfPrinter(Target: DWARF_TARGET): print_opt_value oc "DW_AT_type" sp.subprogram_type print_ref let print_subrange oc sr = - print_opt_value oc "DW_AT_type" sr.subrange_type print_ref; + print_ref oc "DW_AT_type" sr.subrange_type; print_opt_value oc "DW_AT_upper_bound" sr.subrange_upper_bound print_bound_value let print_subroutine oc st = |