diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 13:04:54 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-06 13:04:54 +0100 |
commit | c1829348282418e42d2c94bb2f761a63d5a06ab4 (patch) | |
tree | 5372516a168ebfb4ffdea8e8885a861d6e8abf2b /debug/DwarfPrinter.mli | |
parent | e5aeeb137cfd95289ec9388318f65df6f5b08db6 (diff) | |
download | compcert-c1829348282418e42d2c94bb2f761a63d5a06ab4.tar.gz compcert-c1829348282418e42d2c94bb2f761a63d5a06ab4.zip |
Do not print parameter names in function types.
For function types used by function pointers we do not need to print
the name of the paraments. Also switch the logic in case of
prototyped/unprototyped.
Fix 17579.
Diffstat (limited to 'debug/DwarfPrinter.mli')
0 files changed, 0 insertions, 0 deletions