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