diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-17 13:59:17 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-17 13:59:17 +0200 |
commit | 11837beafc84f226878b4706a791e9c13301e01f (patch) | |
tree | 62a1ac44f08ff0712d72566c3c6c257be515948f /test/spass/top.c | |
parent | 44c859e5ffd95498b6e0dc504a9fc54cef86aae8 (diff) | |
download | compcert-11837beafc84f226878b4706a791e9c13301e01f.tar.gz compcert-11837beafc84f226878b4706a791e9c13301e01f.zip |
Added a check for parameters without identifiers. (#128)
It is not allowed in C to have a parameter in a parameter list
without an identifier.
Bug 24283
Diffstat (limited to 'test/spass/top.c')
0 files changed, 0 insertions, 0 deletions