diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-20 19:33:52 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-05-20 19:33:52 +0200 |
| commit | 45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04 (patch) | |
| tree | 0c20137a3f67ca4fa626dbf71b13741a18289fb8 /cfrontend/Csyntax.v | |
| parent | df24f45af3e156670a39b553ebbcaba7403f0af3 (diff) | |
| download | compcert-kvx-45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04.tar.gz compcert-kvx-45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04.zip | |
Add a check for the args of unprototyped calls.
The arguments that are passed to an unprototyped function must
also be checked to be valid types passed to a function, i.e. they
must be complete types after argument conversion.
Diffstat (limited to 'cfrontend/Csyntax.v')
0 files changed, 0 insertions, 0 deletions