diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-02-11 17:49:36 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-02-11 18:53:41 +0100 |
commit | 9d3521b4db46773239a2c5f9f6970de826075508 (patch) | |
tree | 21a8b9ab578608db717ea439ecd5e923237f0ac1 /powerpc/CombineOpproof.v | |
parent | 38b0425d524cd3e7260ac46e13153f007e8bc00d (diff) | |
download | compcert-9d3521b4db46773239a2c5f9f6970de826075508.tar.gz compcert-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 'powerpc/CombineOpproof.v')
0 files changed, 0 insertions, 0 deletions