From 906873ee165cbaabf36ca51792eb5a498a12bd72 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 12 Oct 2015 16:58:23 +0200 Subject: Move strip functions to Cutil. Since the strip functions might be useful in other context and is more general then the debug information. Bug 17392. --- cparser/Cutil.mli | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'cparser/Cutil.mli') diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index a322bfb1..a09316ad 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -56,6 +56,10 @@ val attr_is_type_related: attribute -> bool (* Is an attribute type-related (true) or variable-related (false)? *) val attr_inherited_by_members: attribute -> bool (* Is an attribute of a composite inherited by members of the composite? *) +val strip_attributes_type: typ -> attribute list -> typ + (* Remove all attributes from the given type that are not contained in the list *) +val strip_last_attribute: typ -> attribute option * typ + (* Remove the last top level attribute and return it *) (* Type compatibility *) -- cgit