Method round_up_bits

smt/expr.cpp:1150–1152

}

expr expr::round_up_bits(const expr &nbits) const {
  return round_up(mkUInt(1, *this) << nbits.zextOrTrunc(bits()));
}

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