aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorBernhard Schommer <bschommer@users.noreply.github.com>2018-08-29 16:17:41 +0200
committerXavier Leroy <xavierleroy@users.noreply.github.com>2018-08-29 16:17:41 +0200
commitb4b1fa3d47c37829be30367ced9aa89abcd7f5c7 (patch)
tree578a69f40daa832377783a480a03066fd959f794 /doc
parent4dd461d08fb4a9361d87938fa90c009f3b80b8bf (diff)
downloadcompcert-kvx-b4b1fa3d47c37829be30367ced9aa89abcd7f5c7.tar.gz
compcert-kvx-b4b1fa3d47c37829be30367ced9aa89abcd7f5c7.zip
New diagnostic for reduced alignment (#117)
The new diagnostic triggers if an `_Alignas` or an `aligned` attribute or a `packed` attribute requests an alignment smaller than the natural alignment. Bug 23389
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions