static Num clamped_add()

in include/IntervalDomain.h [221:233]

• 9 lines of code
• 5 McCabe index (conditional complexity)

  static Num clamped_add(Num a, Num b) {
    // a + b > MAX
    if (a > 0 && b > MAX - a) {
      return MAX;
    }

    // a + b < MIN
    if (a < 0 && b < MIN - a) {
      return MIN;
    }

    return a + b;
  }