Parameter attributes are added to the C AST. Initialize the parameter attributes field as empty in a case in unparse_hrule.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com> --- parsing_c/unparse_hrule.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/parsing_c/unparse_hrule.ml b/parsing_c/unparse_hrule.ml index f2605d82..fca985ca 100644 --- a/parsing_c/unparse_hrule.ml +++ b/parsing_c/unparse_hrule.ml @@ -207,7 +207,8 @@ let print_metavar pr = function (function _ -> pr " ") {Ast_c.p_register = (false,[]); p_namei = Some name'; - p_type = (({Ast_c.const = false; Ast_c.volatile = false},[]),ty) + p_type = (({Ast_c.const = false; Ast_c.volatile = false},[]),ty); + p_attr = []; } | _ -> failwith "function must have named parameters" -- 2.21.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci