[Linux-kernel-mentees] [PATCH 23/32] parsing_c: type_annoter_c: Reflect Cast attributes
Jaskaran Singh
jaskaransingh7654321 at gmail.com
Tue Apr 28 17:02:19 UTC 2020
Cast attributes are added to the SmPL AST. Reflect these changes in
type_annoter_c.ml.
Signed-off-by: Jaskaran Singh <jaskaransingh7654321 at 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..c42ac5e9 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, e, a) ->
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
More information about the Linux-kernel-mentees
mailing list