[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#973443: marked as done (src/init2.c:52: MPFR assertion failure)

Your message dated Tue, 29 Aug 2023 08:15:01 +0200
with message-id <001f1398-28fc-bb0e-c12e-f6ea1215c2db@debian.org>
and subject line closing, not a bug
has caused the Debian Bug report #973443,
regarding src/init2.c:52: MPFR assertion failure
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
973443: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=973443
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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

--- End Message ---
--- Begin Message --- 
closing, not a bug

--- End Message ---
Reply to: