diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:30:07 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:30:07 +0100 |
commit | 1396a4051caef0957ede026f3b8fab5a9b10b6bc (patch) | |
tree | 3de88af4e2c6dc9e58e43e10f05e1634742b1d6f /backend/Inlining.v | |
parent | 4b0f05cf84ac5d38f8e31aa7b8f7c9e1b0617ea0 (diff) | |
download | compcert-1396a4051caef0957ede026f3b8fab5a9b10b6bc.tar.gz compcert-1396a4051caef0957ede026f3b8fab5a9b10b6bc.zip |
Add -Xalign-value to enforce correct alignment.
The diab compiler seems to interpret the alignment as power of two
instead of the value.
Bug 18490
Diffstat (limited to 'backend/Inlining.v')
0 files changed, 0 insertions, 0 deletions