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/Env.mli | |
parent | 680444f180c750078a77b0591cd5c19e632612d6 (diff) | |
download | compcert-0c73ba202a910d5ab2ae900a56264fc1534f0214.tar.gz compcert-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/Env.mli')
-rw-r--r-- | cparser/Env.mli | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cparser/Env.mli b/cparser/Env.mli index a794d4a4..7ea2c514 100644 --- a/cparser/Env.mli +++ b/cparser/Env.mli @@ -60,9 +60,8 @@ val ident_is_bound : t -> string -> bool val find_ident : t -> C.ident -> ident_info val find_struct : t -> C.ident -> composite_info val find_union : t -> C.ident -> composite_info -val find_member : C.field list -> string -> C.field -val find_struct_member : t -> C.ident * string -> C.field -val find_union_member : t -> C.ident * string -> C.field +val find_struct_member : t -> C.ident * string -> C.field list +val find_union_member : t -> C.ident * string -> C.field list val find_typedef : t -> C.ident -> typedef_info val find_enum : t -> C.ident -> enum_info |