diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-24 13:04:51 +0100 |
commit | 89bd87cab8e6216b1f87389f93424468710e5f21 (patch) | |
tree | c8bbc0695328f48073ad7a9f5ed040e4928b8b1f /debug/DebugInformation.ml | |
parent | f1e56a6c69acfd233bbe99bc3ab28409116eb5db (diff) | |
download | compcert-kvx-89bd87cab8e6216b1f87389f93424468710e5f21.tar.gz compcert-kvx-89bd87cab8e6216b1f87389f93424468710e5f21.zip |
Do not print anonymous member names in debug info
Anonymous members no longer are printed in the debug information.
Fix 20798
Diffstat (limited to 'debug/DebugInformation.ml')
-rw-r--r-- | debug/DebugInformation.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debug/DebugInformation.ml b/debug/DebugInformation.ml index dfde9136..6f159743 100644 --- a/debug/DebugInformation.ml +++ b/debug/DebugInformation.ml @@ -395,6 +395,7 @@ let insert_global_declaration env dec = let fields = List.map (fun f -> { cfd_name = f.fld_name; + cfd_anon = f.fld_anonymous; cfd_typ = insert_type f.fld_typ; cfd_bit_size = f.fld_bitfield; cfd_bit_offset = None; |