Commit 46682b38 authored by John Zhang's avatar John Zhang

fix: cast_pointer to correct type after direct_ptradd

parent 5a4d6492
......@@ -1138,7 +1138,10 @@ class LL2MuMapper:
var = buf
iref_itm, _ops = self._getarrayitemiref(var, idx_vc)
ops[-1].result = llop.result
if ops[-1].result.concretetype != llop.result.concretetype:
ops.extend(self.map_op(SpaceOperation('cast_pointer', [ops[-1].result], llop.result)))
ops[-1].result = llop.result
return ops
def map_op_direct_arrayitems(self, llop):
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment