diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-02 18:47:21 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-02 18:47:21 +0200 |
commit | 0ad2b220ace7741792a296a88d37b88f7660e6ab (patch) | |
tree | cc906f41e457c73d6d561ae92b418cade37af755 /debug | |
parent | b511f66bee59d2792427322b7cbaa47c2590358a (diff) | |
download | compcert-kvx-0ad2b220ace7741792a296a88d37b88f7660e6ab.tar.gz compcert-kvx-0ad2b220ace7741792a296a88d37b88f7660e6ab.zip |
Use rev_map so that the debug locations are in the correct order.
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 d2cdecbf..2258f948 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -339,7 +339,7 @@ let location_entry f_id atom = | FunctionLoc (a,r) -> translate_function_loc a r | RangeLoc l -> - let l = List.map (fun i -> + let l = List.rev_map (fun i -> let hi = get_opt_val i.range_start and lo = get_opt_val i.range_end in let hi = Hashtbl.find label_translation (f_id,hi) |