diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-03 13:11:02 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-09-03 13:11:02 +0200 |
| commit | 3389bd5b2b7875243738afeb28109bfc5a5a853d (patch) | |
| tree | 38c4a761fdf12b6d998d91f9660f805a65881e48 /doc | |
| parent | b4b1fa3d47c37829be30367ced9aa89abcd7f5c7 (diff) | |
| download | compcert-kvx-3389bd5b2b7875243738afeb28109bfc5a5a853d.tar.gz compcert-kvx-3389bd5b2b7875243738afeb28109bfc5a5a853d.zip | |
Move parameter check.
Instead of performing the check only for parameters of function
definitions also perform it for function declarations.
Bug 23393
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions