Method isValid

ir/state_value.cpp:55–57

}

bool StateValue::isValid() const {
  return value.isValid() && non_poison.isValid();
}

expr StateValue::operator==(const StateValue &other) const {
  return non_poison == other.non_poison && value == other.value;