diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-20 16:22:36 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-08-20 16:22:36 +0200 |
commit | 3e1ceff43f0c636136d333dd8bf7214bf3798fea (patch) | |
tree | e66db545c2688f9db34b54e97aea94e3800d5825 /backend/Unusedglobproof.v | |
parent | 98427e8d2e51b1b7590bbde3fc18c49ff7dd8e13 (diff) | |
download | compcert-3e1ceff43f0c636136d333dd8bf7214bf3798fea.tar.gz compcert-3e1ceff43f0c636136d333dd8bf7214bf3798fea.zip |
Added check for incomplete parameter types.
Parameters also need to be checked for incomplete types.
Bug 19596
Diffstat (limited to 'backend/Unusedglobproof.v')
0 files changed, 0 insertions, 0 deletions