diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-16 15:27:24 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-16 15:27:24 +0200 |
commit | e108b274eda3739ff0d69efff626bb1c1dbcaed1 (patch) | |
tree | 3fa1e2d6240c592571ba19c7d859cbc81d6e4519 /test/regression/init3.c | |
parent | fc79c83e01172320590e22c96418c980a82115c7 (diff) | |
download | compcert-e108b274eda3739ff0d69efff626bb1c1dbcaed1.tar.gz compcert-e108b274eda3739ff0d69efff626bb1c1dbcaed1.zip |
Also check parameters for unknown attributes.
Parameters also need to be checkd for unknown attributes, like
all other declarations.
Bug 24277
Diffstat (limited to 'test/regression/init3.c')
0 files changed, 0 insertions, 0 deletions