Parameter attributes are added to the SmPL AST. Reflect these changes in function_prototypes.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/function_prototypes.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/parsing_cocci/function_prototypes.ml b/parsing_cocci/function_prototypes.ml index 71bf1a2a..966369b8 100644 --- a/parsing_cocci/function_prototypes.ml +++ b/parsing_cocci/function_prototypes.ml @@ -261,10 +261,10 @@ let rec attach_right strings ty = let rec drop_param_name p = Ast0.rewrap p (match Ast0.unwrap p with - Ast0.Param(p,Some id) -> + Ast0.Param(p,Some id,attr) -> let strings = collect_ident_strings id in let p = attach_right strings p in - Ast0.Param(p,None) + Ast0.Param(p,None,attr) | Ast0.OptParam(p) -> Ast0.OptParam(drop_param_name p) | p -> p) @@ -297,7 +297,7 @@ let new_iname name index = let rec rename_param old_name all param index = match Ast0.unwrap param with - Ast0.Param(ty,Some id) when all -> + Ast0.Param(ty,Some id,attr) when all -> (match Ast0.unwrap id with Ast0.MetaId (((_,name),arity,info,mcodekind,pos,adj),constraints,seed,pure) -> @@ -308,7 +308,7 @@ let rec rename_param old_name all param index = ((nm,arity,info,mcodekind,pos,adj),constraints,seed, Ast0.Pure)) in ([Ast.MetaIdDecl(Ast.NONE,nm)], - Ast0.rewrap param (Ast0.Param(ty,Some new_id))) + Ast0.rewrap param (Ast0.Param(ty,Some new_id,attr))) | _ -> ([],param)) | Ast0.Pdots(d) -> let nm = (old_name,new_iname "__P" index) in -- 2.21.1 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
