Fix semantics of ptr2int when truncation/zext needs to happen
MODIFY
ir/instr.cpp
ir/instr.cpp
@@ -503,7 +503,7 @@ StateValue ConversionOp::toSMT(State &s) const {
UNREACHABLE();
break;
case Ptr2Int:
- newval = s.getMemory().ptr2int(v);
+ newval = s.getMemory().ptr2int(v).zextOrTrunc(getType().bits());
break;
case Int2Ptr:
newval = s.getMemory().int2ptr(v);

Fix semantics of ptr2int when truncation/zext needs to happen