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 /arm/TargetPrinter.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 'arm/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions