diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-08 16:29:21 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-04-16 18:33:34 +0200 |
| commit | c4da57a29a710cf067fe8ce3663d0285efdfef0d (patch) | |
| tree | 8f9c47d35fc364dba545ac725d1e0f6536fca9cf /debug | |
| parent | 04b822ca7eaf59a967b9b8f700104b78e77e5c98 (diff) | |
| download | compcert-kvx-c4da57a29a710cf067fe8ce3663d0285efdfef0d.tar.gz compcert-kvx-c4da57a29a710cf067fe8ce3663d0285efdfef0d.zip | |
Relax requirement for ranges for compilation unit.
Ranges for non-contiguous address ranges are already part of dwarf
version 3.
Bug 26234
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/Dwarfgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index ee568042..13ed6262 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -593,7 +593,7 @@ let gnu_string_entry s = let gen_gnu_debug_info sec_name var_section : debug_entries = Hashtbl.clear string_table; let r,dwr,low_pc = - try if !Clflags.option_gdwarf > 3 then + try if !Clflags.option_gdwarf > 2 then let pcs = fold_section_start (fun s low acc -> (low,section_end s)::acc) [] in match pcs with |