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 /VERSION | |
parent | df24f45af3e156670a39b553ebbcaba7403f0af3 (diff) | |
download | compcert-45f7c8be7179942d9667a5a26cb1bb6f6fcd2d04.tar.gz compcert-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 'VERSION')
0 files changed, 0 insertions, 0 deletions