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 /common/Sections.mli | |
parent | c4d9dce2d316f3f9adeefcc523198093b7184ab6 (diff) | |
download | compcert-a70741f8abc2e03346eed98e420f9a2e0c8531cc.tar.gz compcert-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 'common/Sections.mli')
0 files changed, 0 insertions, 0 deletions