aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/C.mli
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2016-12-07 16:03:17 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2016-12-07 16:03:17 +0100
commit0c73ba202a910d5ab2ae900a56264fc1534f0214 (patch)
tree0e7fe704111bec0404916c3b88d02138fadc9b32 /cparser/C.mli
parent680444f180c750078a77b0591cd5c19e632612d6 (diff)
downloadcompcert-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/C.mli')
-rw-r--r--cparser/C.mli3
1 files changed, 2 insertions, 1 deletions
diff --git a/cparser/C.mli b/cparser/C.mli
index 8d8f2805..cacdbe7c 100644
--- a/cparser/C.mli
+++ b/cparser/C.mli
@@ -158,7 +158,8 @@ type typ =
type field = {
fld_name: string;
fld_typ: typ;
- fld_bitfield: int option
+ fld_bitfield: int option;
+ fld_anonymous: bool;
}
type struct_or_union =