bool equals()

in include/AbstractDomain.h [409:424]

• 16 lines of code
• 4 McCabe index (conditional complexity)

  bool equals(const Derived& other) const override {
    if (is_bottom()) {
      return other.is_bottom();
    }
    if (is_top()) {
      return other.is_top();
    }
    RUNTIME_CHECK(m_kind == AbstractValueKind::Value,
                  invalid_abstract_value()
                      << expected_kind(AbstractValueKind::Value)
                      << actual_kind(m_kind));
    if (other.m_kind != AbstractValueKind::Value) {
      return false;
    }
    return m_value.equals(other.m_value);
  }