Cast attributes are added to the SmPL AST. Reflect these changes in
type_infer.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@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 e8aad810..2c1cc73b 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
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
