diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-24 20:11:48 +0200 |
commit | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (patch) | |
tree | 446c0bcebad15584f77cf139f81e816403c3bf88 /debug/Dwarfgen.ml | |
parent | dccd211b1be1fd80f3804b0586286566c874d523 (diff) | |
download | compcert-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.tar.gz compcert-fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0.zip |
Added placing labels for live ranges etc.
In order to avoid the usage of too many labels we replace the
debug statements during the Asmexpand phase.
Diffstat (limited to 'debug/Dwarfgen.ml')
-rw-r--r-- | debug/Dwarfgen.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index 15c63b66..6c10b362 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -315,7 +315,6 @@ let fun_scope_to_entries acc id = | _ -> assert false) let function_to_entry acc id f = - Printf.printf "Generating information for %s with id %d\n" f.fun_name id; let f_tag = { subprogram_file_loc = f.fun_file_loc; subprogram_external = Some f.fun_external; |