diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-06 17:26:08 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-05-10 14:27:22 +0200 |
| commit | 47c86d46a329ee2c4c26a82b29edd40bb4b4c35c (patch) | |
| tree | 54877aacf7effd308faab225320bfcfc9ecd3af3 /backend/JsonAST.ml | |
| parent | 46e5d165e6277d7502fe4a45e8765526a1117414 (diff) | |
| download | compcert-kvx-47c86d46a329ee2c4c26a82b29edd40bb4b4c35c.tar.gz compcert-kvx-47c86d46a329ee2c4c26a82b29edd40bb4b4c35c.zip | |
Check for alignment of command-line switches.
Add a check for alignment on command-line switches `-falign-*`.
The check is similar to the one for the alignment attribute and
ensures that only powers of two can be specified.
Diffstat (limited to 'backend/JsonAST.ml')
0 files changed, 0 insertions, 0 deletions