diff --git a/clangml-transforms/for_memcad.ml b/clangml-transforms/for_memcad.ml index 628c554d7d8ea5f525f8b18dcccf16d3e2d4235a..1aed0ac5bc75b67f7b72ff6591468fcdb1eaa79e 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 =