diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-21 19:06:45 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-24 09:26:50 +0200 |
commit | bc8046564b345281024d5f40f59d012ba92cdb4b (patch) | |
tree | 56fe7a5b2ac82fdfb4ed63fdba6447f15782b29d /driver | |
parent | 7f6bd2f39e66cb0704b526d0450845cd0234e0c9 (diff) | |
download | compcert-bc8046564b345281024d5f40f59d012ba92cdb4b.tar.gz compcert-bc8046564b345281024d5f40f59d012ba92cdb4b.zip |
Add check for _Alignas attribute.
The check tests whether the standard _Alignas is contained within
a given attribute list.
Bug 23391
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions