diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-04-14 09:15:17 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-04-14 09:15:17 +0000 |
| commit | 12696ae9f6c34aaffc668711d96beda51a783832 (patch) | |
| tree | 4c268d028ddb5ae75e3b9c1901a30a31bebf6465 /cparser/Cutil.mli | |
| parent | 5a4bd6f2636df432383bb3144f91816742d2fa53 (diff) | |
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
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 3 |
1 files changed, 3 insertions, 0 deletions
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 |