fix poison value vcgen
MODIFY
ir/value.cpp
ir/value.cpp
@@ -77,7 +77,7 @@ void PoisonValue::print(ostream &os) const {
}
StateValue PoisonValue::toSMT(State &s) const {
- return { {}, false };
+ return { expr::mkUInt(0, bits()), false };
}

MODIFY
tests/unit/freeze.opt
tests/unit/freeze.opt
@@ -3,3 +3,8 @@ Name: add
=>
%y = freeze %i
%x = add %y, %y
+
+Name: poison
+%x = poison
+ =>
+%x = freeze poison

fix poison value vcgen