Package: libmpfr6 Version: 4.1.0-3 Severity: normal X-Debbugs-Cc: I was fooling around with Arb and it seems that this program causes an assertion failure in MPFR, although ASan and UBSan don't point to any misusage by Arb. (Curiously if you change the numerical string from "0" to "0.5" then Arb does segfault outright, but I think that's unrelated.)
One can build the program below with -lflint-arb to link: #include <arb.h> #include <stdlib.h> int main(void) { arb_t x; arb_init(x); if(arb_set_str(x, "0", WORD_MAX)) { exit(EXIT_FAILURE); } else { arb_printd(x, WORD_MAX); arb_clear(x); } } and this causes ../../src/init2.c:52: MPFR assertion failed: ((p) >= 1 && (p) <= ((mpfr_prec_t) ((((mpfr_uprec_t) -1) >> 1) - 256))) Aborted It seems this is related to the WORD_MAX limit in arb_printd(). Replacing it with WORD_MAX/8 one gets (in GMP) GNU MP: Cannot allocate memory (size=479903576292600072) Aborted -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (500, 'testing'), (2, 'unstable'), (1, 'testing-debug'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 5.9.0-1-amd64 (SMP w/2 CPU threads) Kernel taint flags: TAINT_USER, TAINT_FIRMWARE_WORKAROUND Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages libmpfr6 depends on: ii libc6 2.31-4 ii libgmp10 2:6.2.0+dfsg-6 libmpfr6 recommends no packages. libmpfr6 suggests no packages. -- no debconf information