git.iko.soy/Idris-dev
on master help sign in
Bad shift on 32-bit architectures
11130b1Jorge Acereda
rts/idris_gmp.c+1−1
compare with master
unifiedsplit
@@ -377,7 +377,7 @@ uint64_t idris_truncBigB64(const mpz_t bi) {
377 }
377 }
378 int64_t out = mpz_get_ui(bi);
378 int64_t out = mpz_get_ui(bi);
379 if (mpz_size(bi) > 1) {
379 if (mpz_size(bi) > 1) {
380− out |= mpz_getlimbn(bi, 1) << 32;
380+ out |= ((int64_t)mpz_getlimbn(bi, 1)) << 32;
381 }
381 }
382 return out;
382 return out;
383}
383}