Cast attributes are added to the SmPL ASTs. Parse these attributes in the SmPL parser and place them in the SmPL AST. The added production only supports attributes after the type and before the expression. However, these attributes are matched anywhere in within a cast.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/parser_cocci_menhir.mly | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/parsing_cocci/parser_cocci_menhir.mly b/parsing_cocci/parser_cocci_menhir.mly index fe4ef322..8669405f 100644 --- a/parsing_cocci/parser_cocci_menhir.mly +++ b/parsing_cocci/parser_cocci_menhir.mly @@ -2177,11 +2177,12 @@ arith_expr_bis: cast_expr(r,pe): unary_expr(r,pe) { $1 } - | lp=TOPar t=ctype rp=TCPar e=cast_expr(r,pe) - { Ast0.wrap(Ast0.Cast (P.clt2mcode "(" lp, t, + | lp=TOPar t=ctype ar=attr_list rp=TCPar e=cast_expr(r,pe) + { Ast0.wrap(Ast0.Cast (P.clt2mcode "(" lp, t, ar, P.clt2mcode ")" rp, e)) } - | lp=TOPar t=ctype d=direct_abstract_d rp=TCPar e=cast_expr(r,pe) - { Ast0.wrap(Ast0.Cast (P.clt2mcode "(" lp, d t, + | lp=TOPar t=ctype d=direct_abstract_d ar=attr_list rp=TCPar + e=cast_expr(r,pe) + { Ast0.wrap(Ast0.Cast (P.clt2mcode "(" lp, d t, ar, P.clt2mcode ")" rp, e)) } unary_expr(r,pe): -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
