[Linux-kernel-mentees] [PATCH v2 18/32] parsing_cocci: disjdistr: Reflect Cast attributes
Jaskaran Singh
jaskaransingh7654321 at gmail.com
Mon May 11 10:07:01 UTC 2020
Cast attributes are added to the SmPL AST. Reflect these changes in
disjdistr.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654321 at 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
More information about the Linux-kernel-mentees
mailing list