AttributeTag is added to SmPL AST0. Reflect these changes in context_neg.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/context_neg.ml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/parsing_cocci/context_neg.ml b/parsing_cocci/context_neg.ml index 6a04f49b..a0d52e9a 100644 --- a/parsing_cocci/context_neg.ml +++ b/parsing_cocci/context_neg.ml @@ -46,6 +46,7 @@ let set_mcodekind x mcodekind = | Ast0.ForInfoTag(d) -> Ast0.set_mcodekind d mcodekind | Ast0.CaseLineTag(d) -> Ast0.set_mcodekind d mcodekind | Ast0.StringFragmentTag(d) -> Ast0.set_mcodekind d mcodekind + | Ast0.AttributeTag(d) -> Ast0.set_mcodekind d mcodekind | Ast0.TopTag(d) -> Ast0.set_mcodekind d mcodekind | Ast0.IsoWhenTag(_) -> failwith "only within iso phase" | Ast0.IsoWhenTTag(_) -> failwith "only within iso phase" @@ -81,6 +82,7 @@ let set_index x index = | Ast0.ForInfoTag(d) -> Ast0.set_index d index | Ast0.CaseLineTag(d) -> Ast0.set_index d index | Ast0.StringFragmentTag(d) -> Ast0.set_index d index + | Ast0.AttributeTag(d) -> Ast0.set_index d index | Ast0.TopTag(d) -> Ast0.set_index d index | Ast0.IsoWhenTag(_) -> failwith "only within iso phase" | Ast0.IsoWhenTTag(_) -> failwith "only within iso phase" @@ -115,6 +117,7 @@ let get_index = function | Ast0.ForInfoTag(d) -> Index.forinfo d | Ast0.CaseLineTag(d) -> Index.case_line d | Ast0.StringFragmentTag(d) -> Index.string_fragment d + | Ast0.AttributeTag(d) -> Index.attribute d | Ast0.TopTag(d) -> Index.top_level d | Ast0.IsoWhenTag(_) -> failwith "only within iso phase" | Ast0.IsoWhenTTag(_) -> failwith "only within iso phase" -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
