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/Dwarfgen.ml | |
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/Dwarfgen.ml')
-rw-r--r-- | debug/Dwarfgen.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/Dwarfgen.ml b/debug/Dwarfgen.ml index d198a92f..8a72a865 100644 --- a/debug/Dwarfgen.ml +++ b/debug/Dwarfgen.ml @@ -186,7 +186,7 @@ module Dwarfgenaux (Target: TARGET) = add_children enum child let fun_type_to_entry id f = - let children = if f.fun_prototyped then + let children = if not f.fun_prototyped then let u = { unspecified_parameter_artificial = None; } in @@ -195,7 +195,7 @@ module Dwarfgenaux (Target: TARGET) = List.map (fun p -> let fp = { formal_parameter_artificial = None; - formal_parameter_name = name_opt p.param_name; + formal_parameter_name = None; formal_parameter_type = p.param_type; formal_parameter_variable_parameter = None; formal_parameter_location = None; |