Parameter attributes are added to the SmPL AST. Parse these attributes
correctly in the SmPL parser. The added production only supports
attributes after the type or the type and identifier.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
parsing_cocci/parser_cocci_menhir.mly | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/parsing_cocci/parser_cocci_menhir.mly
b/parsing_cocci/parser_cocci_menhir.mly
index db5661bd..fe4ef322 100644
--- a/parsing_cocci/parser_cocci_menhir.mly
+++ b/parsing_cocci/parser_cocci_menhir.mly
@@ -1541,9 +1541,10 @@ storage:
| s=Tregister { P.clt2mcode Ast.Register s }
| s=Textern { P.clt2mcode Ast.Extern s }
-decl: t=ctype d=direct_declarator(disj_ident)
- { let (i,fn) = d in Ast0.wrap(Ast0.Param(fn t, Some i)) }
- | t=ctype { (*verify in FunDecl*) Ast0.wrap(Ast0.Param(t, None)) }
+decl: t=ctype d=direct_declarator(disj_ident) ar=attr_list
+ { let (i,fn) = d in Ast0.wrap(Ast0.Param(fn t, Some i, ar)) }
+ | t=ctype ar=attr_list
+ { (*verify in FunDecl*) Ast0.wrap(Ast0.Param(t, None, ar)) }
| TMetaParam
{ let (nm,cstr,pure,clt) = $1 in
Ast0.wrap(Ast0.MetaParam(P.clt2mcode nm clt,cstr,pure)) }
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
