From 12696ae9f6c34aaffc668711d96beda51a783832 Mon Sep 17 00:00:00 2001 From: xleroy Date: Thu, 14 Apr 2011 09:15:17 +0000 Subject: Revised handling of GCC attributes. Preliminary, untested support for __aligned__ attribute git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1634 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Cutil.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'cparser/Cutil.mli') diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 7a185f5..d4c9441 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -33,6 +33,9 @@ val remove_attributes : attributes -> attributes -> attributes (* Difference [attr1 \ attr2] between two sets of attributes *) val incl_attributes : attributes -> attributes -> bool (* Check that first set of attributes is a subset of second set. *) +val find_custom_attributes : string list -> attributes -> attr_arg list list + (* Extract arguments of custom [Attr] attributes whose names appear + in the given list of names. *) val attributes_of_type : Env.t -> typ -> attributes (* Return the attributes of the given type, expanding typedefs if needed. *) val add_attributes_type : attributes -> typ -> typ -- cgit v1.2.3