Method smul_fix

smt/expr.cpp:982–985

}

expr expr::smul_fix(const expr &a, const expr &b, const expr &c) {
  expr r = smul_fix_helper(a, b, c);
  return r.trunc(a.bits());
}

expr expr::smul_fix_no_soverflow(const expr &a, const expr &b, const expr &c) {
  expr r = smul_fix_helper(a, b, c);