diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-14 18:06:04 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-14 18:08:25 +0200 |
commit | df78560fdf859644274dbdabccdd1fdb9e75634e (patch) | |
tree | 054d2a0fc3d1c9aaf09ba3d8985910e08ea6c7a6 /backend/PrintAsm.ml | |
parent | ccfc5ced6a09ce2c8a1ebce81050c328c17c9bec (diff) | |
download | compcert-df78560fdf859644274dbdabccdd1fdb9e75634e.tar.gz compcert-df78560fdf859644274dbdabccdd1fdb9e75634e.zip |
More verbose debug printer.
Like, for example the clang, CompCert now prints a more detailed
descriptions of the debug information in the assembler file. For
each abbreviation and debug entry the dwarf attributes and their encodings
are added.
Bug 17392.
Diffstat (limited to 'backend/PrintAsm.ml')
-rw-r--r-- | backend/PrintAsm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index e7c945e3..0120f4bc 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -112,8 +112,8 @@ module Printer(Target:TARGET) = struct let label = Target.label let section = Target.section - let name_of_section = Target.name_of_section let symbol = Target.symbol + let comment = Target.comment end module DebugPrinter = DwarfPrinter (DwarfTarget) |