diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-08-21 10:41:14 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-24 09:26:50 +0200 |
| commit | 7f6bd2f39e66cb0704b526d0450845cd0234e0c9 (patch) | |
| tree | 90221bfb1ca892dc01b40d566cbd5c06049801ea /cparser/Cutil.mli | |
| parent | b6542ff823fb431b6f22724da5ab5cbbdfe01598 (diff) | |
| download | compcert-kvx-7f6bd2f39e66cb0704b526d0450845cd0234e0c9.tar.gz compcert-kvx-7f6bd2f39e66cb0704b526d0450845cd0234e0c9.zip | |
Reimplement attr_array_applicable in terms of class_of_attribute
Since commit 5963ac4, "aligned" attributes and _Alignas qualifiers
are represented differently, causing them to be treated differently
by the previous implementation of Cutil.attr_array_applicable.
This is incorrect and inconsistent with what happens during elaboration
of array types in Elab.
This PR reimplements attr_array_applicable in terms of class_of_attribute.
Just like during elaboration, attributes of the Attr_type class
are applied to the type of array elements, other attributes stay
attached to the array type.
Diffstat (limited to 'cparser/Cutil.mli')
0 files changed, 0 insertions, 0 deletions