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/Checks.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/Checks.ml')
| -rw-r--r-- | cparser/Checks.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Checks.ml b/cparser/Checks.ml index ee36e226..62d85c1b 100644 --- a/cparser/Checks.ml +++ b/cparser/Checks.ml @@ -106,6 +106,7 @@ let unknown_attrs_program p = let decl env loc d = unknown_attrs_decl env loc d and fundef env loc f = + List.iter (fun (id,typ) -> unknown_attrs_typ env loc typ) f.fd_params; unknown_attrs loc f.fd_attrib; unknown_attrs_stmt env f.fd_body; List.iter (unknown_attrs_decl env loc) f.fd_locals; |