From c2ec127c0ae164d09d5952131dfaea9596e2c61d Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 22 Nov 2016 17:36:41 +0100 Subject: Warning for decls without name in composites. The warning missing declarations is now also triggered for declarations without name in field lists of composite types if the declaration is not an anonymous composite or a bitfield member. --- cparser/Cutil.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'cparser/Cutil.mli') diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 3f988f7c..edff9ee1 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -128,6 +128,8 @@ val is_composite_type : Env.t -> typ -> bool (* Is type a struct or union? *) val is_function_type : Env.t -> typ -> bool (* Is type a function type? (not pointer to function) *) +val is_anonymous_composite : typ -> bool + (* Is type an anonymous composite? *) val pointer_arithmetic_ok : Env.t -> typ -> bool (* Is the type [*ty] appropriate for pointer arithmetic? [ty] must not be void, nor a function type, nor an incomplete type. *) -- cgit