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 /lib | |
| 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 'lib')
0 files changed, 0 insertions, 0 deletions