diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-07 16:03:17 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-12-07 16:03:17 +0100 |
| commit | 0c73ba202a910d5ab2ae900a56264fc1534f0214 (patch) | |
| tree | 0e7fe704111bec0404916c3b88d02138fadc9b32 /cparser/Rename.ml | |
| parent | 680444f180c750078a77b0591cd5c19e632612d6 (diff) | |
| download | compcert-kvx-0c73ba202a910d5ab2ae900a56264fc1534f0214.tar.gz compcert-kvx-0c73ba202a910d5ab2ae900a56264fc1534f0214.zip | |
Next try for support of anonymous structs.
Instead of using idents the anonymous fileds get names of the
for <anon>_c where c is a counter of all anonymous members.
Bug 20003
Diffstat (limited to 'cparser/Rename.ml')
| -rw-r--r-- | cparser/Rename.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/Rename.ml b/cparser/Rename.ml index c1f31977..f402ea39 100644 --- a/cparser/Rename.ml +++ b/cparser/Rename.ml @@ -108,7 +108,8 @@ and param env (id, ty) = let field env f = { fld_name = f.fld_name; fld_typ = typ env f.fld_typ; - fld_bitfield = f.fld_bitfield } + fld_bitfield = f.fld_bitfield; + fld_anonymous = f.fld_anonymous; } let constant env = function | CEnum(id, v) -> CEnum(ident env id, v) |