From 873c5ec09a69b18b31c896274dad942c6da5ef8d Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Fri, 6 Dec 2019 16:59:39 +0100
Subject: [PATCH] Preserve casts
---
clangml-transforms/for_memcad.ml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/clangml-transforms/for_memcad.ml b/clangml-transforms/for_memcad.ml
index 628c554..1aed0ac 100644
--- a/clangml-transforms/for_memcad.ml
+++ b/clangml-transforms/for_memcad.ml
@@ -323,8 +323,10 @@ let transform = object (self)
qual_type = { desc = Pointer { desc = BuiltinType Void; _ }; _};
operand = { desc = IntegerLiteral (Int 0); _ }} ->
expr, monoid#zero
+(*
| Cast { operand; _ } ->
self#visit_expr env { expr with desc = operand.desc }
+*)
(* liftConditionals *)
| ConditionalOperator { cond; then_branch; else_branch } ->
let then_branch =
--
GitLab