MetaAttribute is added to the SmPL AST. Reflect these changes in
get_constants.ml.
Signed-off-by: Jaskaran Singh <jaskaran.si...@collabora.com>
---
parsing_cocci/get_constants.ml | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/parsing_cocci/get_constants.ml b/parsing_cocci/get_constants.ml
index a23f2e4f8..ebab24871 100644
--- a/parsing_cocci/get_constants.ml
+++ b/parsing_cocci/get_constants.ml
@@ -235,6 +235,11 @@ let check_inherited nm =
| Ast.MetaStmtList(name,_,_) -> bind (k re) (minherited name)
| _ -> k re in
+ let strictattribute recursor k a =
+ match Ast.unwrap a with
+ Ast.MetaAttribute(name,_,_) -> bind (k a) (minherited name)
+ | _ -> k a in
+
let strictstatement recursor k s =
match Ast.unwrap s with
Ast.Disj(stms) -> option_default
@@ -244,7 +249,7 @@ let check_inherited nm =
mcode mcode mcode mcode mcode mcode mcode mcode mcode mcode mcode mcode
donothing donothing donothing donothing
strictident strictexpr strictfullType stricttypeC donothing strictparam
- strictdecls strictrule_elem strictstatement donothing donothing donothing
+ strictdecls strictrule_elem strictstatement attributefn donothing donothing
(* ------------------------------------------------------------------------ *)
--
2.21.3
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
