diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:27:33 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-18 13:27:33 +0100 |
commit | 771d8576fbae8bd48f6bc80c74722ce1c7cc5259 (patch) | |
tree | 88af0ca466b8923af666500927945aa8764988fb /cparser/Machine.ml | |
parent | d9c0c49cf32be6aa17918654c05bee45f29fb737 (diff) | |
download | compcert-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.tar.gz compcert-771d8576fbae8bd48f6bc80c74722ce1c7cc5259.zip |
Add the -Xalign-value options for diab.
The default of the diab compiler is to interpret the alignment
as power of two.
Bug 18490.
Diffstat (limited to 'cparser/Machine.ml')
0 files changed, 0 insertions, 0 deletions