Cast attributes are added to the SmPL AST. Reflect these changes in disjdistr.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com> --- parsing_cocci/disjdistr.ml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/parsing_cocci/disjdistr.ml b/parsing_cocci/disjdistr.ml index 6724bb25..e171e6ea 100644 --- a/parsing_cocci/disjdistr.ml +++ b/parsing_cocci/disjdistr.ml @@ -219,9 +219,10 @@ and disjexp e = | Ast.RecordPtAccess(exp,ar,field) -> disjmult2 (disjexp exp) (disjident field) (fun exp field -> Ast.rewrap e (Ast.RecordPtAccess(exp,ar,field))) - | Ast.Cast(lp,ty,rp,exp) -> + | Ast.Cast(lp,ty,attr,rp,exp) -> disjmult2 (disjty ty) (disjexp exp) - (function ty -> function exp -> Ast.rewrap e (Ast.Cast(lp,ty,rp,exp))) + (function ty -> function exp -> + Ast.rewrap e (Ast.Cast(lp,ty,attr,rp,exp))) | Ast.SizeOfExpr(szf,exp) -> let exp = disjexp exp in List.map (function exp -> Ast.rewrap e (Ast.SizeOfExpr(szf,exp))) exp -- 2.21.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci