[Linux-kernel-mentees] [PATCH v3 08/32] parsing_cocci: type_infer: Reflect Cast attributes
Jaskaran Singh
jaskaransingh7654321 at gmail.com
Fri May 29 12:06:38 UTC 2020
Cast attributes are added to the SmPL AST. Reflect these changes in
type_infer.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654321 at gmail.com>
---
parsing_cocci/type_infer.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/parsing_cocci/type_infer.ml b/parsing_cocci/type_infer.ml
index 495d7974..e1cd8941 100644
--- a/parsing_cocci/type_infer.ml
+++ b/parsing_cocci/type_infer.ml
@@ -291,7 +291,7 @@ let rec propagate_types env =
| Some x ->
let ty = Ast0.wrap x in
err exp ty "non-structure pointer type in field ref")
- | Ast0.Cast(lp,ty,rp,exp) -> Some ty
+ | Ast0.Cast(lp,ty,attr,rp,exp) -> Some ty
| Ast0.SizeOfExpr(szf,exp) -> Some (Ast0.wrap int_type)
| Ast0.SizeOfType(szf,lp,ty,rp) -> Some (Ast0.wrap int_type)
| Ast0.TypeExp(ty) -> None
--
2.21.1
More information about the Linux-kernel-mentees
mailing list