Cast attributes are added to the C AST. Visit these attributes in
the C AST visitor.
Signed-off-by: Jaskaran Singh <jaskaransingh7654...@gmail.com>
---
parsing_c/visitor_c.ml | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/parsing_c/visitor_c.ml b/parsing_c/visitor_c.ml
index 57b5f32b..77a011d8 100644
--- a/parsing_c/visitor_c.ml
+++ b/parsing_c/visitor_c.ml
@@ -324,7 +324,10 @@ let rec vk_expr = fun bigf expr ->
| SizeOfExpr (e) -> exprf e
| SizeOfType (t) -> vk_type bigf t
- | Cast (t, e) -> vk_type bigf t; exprf e
+ | Cast (t, a, e) ->
+ vk_type bigf t;
+ a +> List.iter (vk_attribute bigf);
+ exprf e
(* old: | StatementExpr (((declxs, statxs), is)), is2 ->
* List.iter (vk_decl bigf) declxs;
@@ -1188,7 +1191,11 @@ let rec vk_expr_s = fun bigf expr ->
| SizeOfExpr (e) -> SizeOfExpr (exprf e)
| SizeOfType (t) -> SizeOfType (vk_type_s bigf t)
- | Cast (t, e) -> Cast (vk_type_s bigf t, exprf e)
+ | Cast (t, a, e) ->
+ Cast
+ (vk_type_s bigf t,
+ a +> List.map (vk_attribute_s bigf),
+ exprf e)
| StatementExpr (statxs, is) ->
StatementExpr (
--
2.21.1
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
