aboutsummaryrefslogtreecommitdiffstats
path: root/x86
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2022-02-11 17:49:36 +0100
committerXavier Leroy <xavier.leroy@college-de-france.fr>2022-02-11 18:53:41 +0100
commit9d3521b4db46773239a2c5f9f6970de826075508 (patch)
tree21a8b9ab578608db717ea439ecd5e923237f0ac1 /x86
parent38b0425d524cd3e7260ac46e13153f007e8bc00d (diff)
downloadcompcert-kvx-9d3521b4db46773239a2c5f9f6970de826075508.tar.gz
compcert-kvx-9d3521b4db46773239a2c5f9f6970de826075508.zip
Check for arguments of struct/union type passed to a vararg function
If any are found, make sure that `-fstruct-passing` was given. Previously, we used to check the fixed arguments (as part of a call to `checkFunctionType`) but not the variable arguments.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions