void widen_with()

in include/IntervalDomain.h [156:169]

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

  void widen_with(const IntervalDomain& that) override {
    if (is_bottom()) {
      *this = that;
      return;
    }

    if (that.m_lb < m_lb) {
      m_lb = MIN;
    }

    if (m_ub < that.m_ub) {
      m_ub = MAX;
    }
  }