Method round_up_bits_no_overflow

smt/expr.cpp:1154–1158

}

expr expr::round_up_bits_no_overflow(const expr &nbits) const {
  expr power_2 = mkUInt(1, *this) << nbits.zextOrTrunc(bits());
  expr minus_1 = power_2 - mkUInt(1, power_2);
  return add_no_uoverflow(minus_1);
}

#define fold_fp_neg(fn)                                  \
  do {                                                   \