From e108b274eda3739ff0d69efff626bb1c1dbcaed1 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 16 Aug 2018 15:27:24 +0200 Subject: Also check parameters for unknown attributes. Parameters also need to be checkd for unknown attributes, like all other declarations. Bug 24277 --- cparser/Checks.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/Checks.ml') 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; -- cgit