From d966e01ea011fa66d5a5a7f9ffce4344e415981a Mon Sep 17 00:00:00 2001 From: xleroy Date: Fri, 9 Apr 2010 12:25:03 +0000 Subject: Bug fix: infinite loop in cparser/ on bit field of size 32 bits. Algorithmic efficiency: in cparser/, precompute sizeof and alignof of composites. Code cleanup: introduced Cutil.composite_info_{def,decl} git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1312 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Cutil.mli | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'cparser/Cutil.mli') diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index de32a21..9587c57 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -64,6 +64,11 @@ val incomplete_type : Env.t -> typ -> bool (* Return true if the given type is incomplete, e.g. declared but not defined struct or union, or array type without a size. *) +(* Computing composite_info records *) + +val composite_info_decl: Env.t -> struct_or_union -> Env.composite_info +val composite_info_def: Env.t -> struct_or_union -> field list -> Env.composite_info + (* Type classification functions *) val is_void_type : Env.t -> typ -> bool -- cgit v1.2.3