Cast attributes are added to the SmPL AST. Reflect these changes in type_annoter_c.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com> --- parsing_c/type_annoter_c.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/parsing_c/type_annoter_c.ml b/parsing_c/type_annoter_c.ml index dfd363b2..dce9753c 100644 --- a/parsing_c/type_annoter_c.ml +++ b/parsing_c/type_annoter_c.ml @@ -525,7 +525,7 @@ let rec is_simple_expr expr = true | Binary (e1, op, e2) -> true - | Cast (t, e) -> + | Cast (t, a, e) -> true | ParenExpr (e) -> is_simple_expr e @@ -961,7 +961,7 @@ let annotater_expr_visitor_subpart = (fun (k,bigf) expr -> (* -------------------------------------------------- *) - | Cast (t, e) -> + | Cast (t, e, a) -> k expr; (* todo: if infer, can "push" info ? add_types_expr [t] e ? *) make_info_def_fix (Lib.al_type t) -- 2.21.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci