diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-05-29 16:21:16 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-05-29 16:21:16 +0200 |
| commit | a70741f8abc2e03346eed98e420f9a2e0c8531cc (patch) | |
| tree | 99dbb3238b08c4f90c669205c16b19a148b3c432 /Changelog | |
| parent | c4d9dce2d316f3f9adeefcc523198093b7184ab6 (diff) | |
| download | compcert-kvx-a70741f8abc2e03346eed98e420f9a2e0c8531cc.tar.gz compcert-kvx-a70741f8abc2e03346eed98e420f9a2e0c8531cc.zip | |
Allow align attribute of zero. (#120)
As the standard says (and is already implemented) an _Alignas(0)
does not change the alignment at all. The same holds for the gcc
attribute.
Bug 23387
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions