From 78ce76b87a7de88dcdf6d742428d5474dac19867 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 24 Aug 2018 09:23:48 +0200 Subject: Edit documentation comments for [alignas_attribute] and [has_std_alignas] --- cparser/Cutil.mli | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index 56b09e1d..3f8d8dcd 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -34,7 +34,8 @@ val remove_attributes : attributes -> attributes -> attributes val incl_attributes : attributes -> attributes -> bool (* Check that first set of attributes is a subset of second set. *) val alignas_attribute : attributes -> int - (* Extract the value of the [_Alignas] attributes, if any. + (* Extract the value of the [_Alignas] and [attribute((aligned(N)))] + attributes, if any. Return 0 if none, a (positive) power of two alignment if some. *) val packing_parameters : attributes -> int * int * bool (* Extract the value of the [__packed__] attributes, if any. @@ -58,7 +59,7 @@ val erase_attributes_type : Env.t -> typ -> typ val change_attributes_type : Env.t -> (attributes -> attributes) -> typ -> typ (* Apply the given function to the top-level attributes of the given type *) val has_std_alignas : attributes -> bool - (* Do the attributes contain the C11 _Alignas *) + (* Do the attributes contain the C11 _Alignas attribute *) type attribute_class = | Attr_name (* Attribute applies to the names being declared *) -- cgit