Attributes are wrapped in the SmPL AST. Reflect these changes in get_constants2.ml.
Signed-off-by: Jaskaran Singh <[email protected]> --- parsing_cocci/get_constants2.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/parsing_cocci/get_constants2.ml b/parsing_cocci/get_constants2.ml index 76d6d40b..d1d77f65 100644 --- a/parsing_cocci/get_constants2.ml +++ b/parsing_cocci/get_constants2.ml @@ -529,6 +529,10 @@ let do_get_constants constants keywords env (neg_pos,_) = | Ast.MetaType(name,_,_,_) -> bind (minherited name) (k ty) | _ -> k ty in + let attribute a = + match Ast.unwrap a with + Ast.Attribute(attr) -> Ast.unwrap_mcode attr in + let declaration r k d = match Ast.unwrap d with Ast.MetaDecl(name,_,_,_) -> @@ -539,7 +543,7 @@ let do_get_constants constants keywords env (neg_pos,_) = (* need things with explicit names too *) | Ast.Init(_,_,_,attr,_,_,_) | Ast.UnInit(_,_,_,attr,_) -> List.fold_left bind (k d) - (List.map (fun attr -> constants (Ast.unwrap_mcode attr)) attr) + (List.map (fun attr -> constants (attribute attr)) attr) | _ -> k d in let field r k d = -- 2.21.3 _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
