mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
parent
376d2c1ed4
commit
e24481dacd
|
@ -2034,8 +2034,9 @@ void mpz_manager<SYNCH>::machine_div2k(mpz & a, unsigned k) {
|
|||
return;
|
||||
if (is_small(a)) {
|
||||
if (k < 32) {
|
||||
int twok = 1 << k;
|
||||
a.m_val /= twok;
|
||||
int64_t twok = 1ull << ((int64_t)k);
|
||||
int64_t val = a.m_val;
|
||||
a.m_val = (int)(val/twok);
|
||||
}
|
||||
else {
|
||||
a.m_val = 0;
|
||||
|
|
Loading…
Reference in a new issue