Method smul_fix_sat

smt/expr.cpp:994–1000

}

expr expr::smul_fix_sat(const expr &a, const expr &b, const expr &c) {
  expr r = smul_fix_helper(a, b, c);
  auto width = a.bits();
  return mkIf(smul_fix_no_soverflow(a, b, c),
              smul_fix(a, b, c),
              mkIf(r.isNegative(), IntSMin(width), IntSMax(width)));
}

static expr umul_fix_helper(const expr &a, const expr &b, const expr &c) {
  auto width = a.bits();