diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-24 09:23:48 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-24 09:26:50 +0200 |
commit | 78ce76b87a7de88dcdf6d742428d5474dac19867 (patch) | |
tree | e416bb30587656d78a9501a4d3b1382e3e9d2777 | |
parent | 1643b763c1270524f0efe69df4fed110a1f81e9d (diff) | |
download | compcert-78ce76b87a7de88dcdf6d742428d5474dac19867.tar.gz compcert-78ce76b87a7de88dcdf6d742428d5474dac19867.zip |
Edit documentation comments for [alignas_attribute] and [has_std_alignas]
-rw-r--r-- | cparser/Cutil.mli | 5 |
1 files 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 *) |