Add parameter attributes to AST0 of SmPL. This is a list of attributes in the VoidParam and Param types of AST0.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com> --- parsing_cocci/ast0_cocci.ml | 4 ++-- parsing_cocci/ast0_cocci.mli | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/parsing_cocci/ast0_cocci.ml b/parsing_cocci/ast0_cocci.ml index a06d99ae..8d30daea 100644 --- a/parsing_cocci/ast0_cocci.ml +++ b/parsing_cocci/ast0_cocci.ml @@ -334,8 +334,8 @@ and initialiser_list = initialiser dots (* Parameter *) and base_parameterTypeDef = - VoidParam of typeC - | Param of typeC * ident option + VoidParam of typeC * attr list + | Param of typeC * ident option * attr list | MetaParam of Ast.meta_name mcode * constraints * pure | MetaParamList of Ast.meta_name mcode * listlen * constraints * pure | AsParam of parameterTypeDef * expression (* expr, always metavar *) diff --git a/parsing_cocci/ast0_cocci.mli b/parsing_cocci/ast0_cocci.mli index 5c2520be..f66a1fac 100644 --- a/parsing_cocci/ast0_cocci.mli +++ b/parsing_cocci/ast0_cocci.mli @@ -320,8 +320,8 @@ and initialiser_list = initialiser dots (* Parameter *) and base_parameterTypeDef = - VoidParam of typeC - | Param of typeC * ident option + VoidParam of typeC * attr list + | Param of typeC * ident option * attr list | MetaParam of Ast_cocci.meta_name mcode * constraints * pure | MetaParamList of Ast_cocci.meta_name mcode * listlen * constraints * pure | AsParam of parameterTypeDef * expression (* expr, always metavar *) -- 2.21.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
