Method concat

ir/state_value.cpp:38–42

}

StateValue StateValue::concat(const StateValue &other) const {
  return { value.concat(other.value),
           non_poison.isBool() ? non_poison && other.non_poison
                               : non_poison.concat(other.non_poison) };
}

void StateValue::setNotPoison() {
  if (non_poison.isValid()) {