diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-02-24 17:03:49 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-02-24 17:03:49 +0100 |
commit | 9e09561f54db459757446db52c01bf3d85bd8764 (patch) | |
tree | 3296cd2efcb40b924c0e733cba2fcc1f3a0600bc /Makefile.menhir | |
parent | dfa87f9b200a10a75034ab20ba84d9ba22b2f504 (diff) | |
download | compcert-9e09561f54db459757446db52c01bf3d85bd8764.tar.gz compcert-9e09561f54db459757446db52c01bf3d85bd8764.zip |
bug 18168, catch cases where variadic arguments are transfered via registers
Diffstat (limited to 'Makefile.menhir')
0 files changed, 0 insertions, 0 deletions