From c4da57a29a710cf067fe8ce3663d0285efdfef0d Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 8 Apr 2019 16:29:21 +0200 Subject: Relax requirement for ranges for compilation unit. Ranges for non-contiguous address ranges are already part of dwarf version 3. Bug 26234 --- debug/Dwarfgen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'debug') 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 -- cgit