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 /cparser/ExtendedAsm.ml | |
| parent | fc79c83e01172320590e22c96418c980a82115c7 (diff) | |
| download | compcert-kvx-e108b274eda3739ff0d69efff626bb1c1dbcaed1.tar.gz compcert-kvx-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 'cparser/ExtendedAsm.ml')
0 files changed, 0 insertions, 0 deletions