• Bug#1107362: libflint-dev: migration to GCC-15 issue

    From Jerome Benoit@21:1/5 to All on Fri Jun 6 14:30:01 2025
    Package: libflint-dev
    Version: 3.1.3-2
    Severity: important
    X-Debbugs-Cc: calculus@rezozer.net

    Dear maintainer,

    it appears that the coming gcc-15 fails to compile
    the following C source (while gcc-14 compiles it):


    =======8><-------------------------
    // flint_version.c C source file
    // gcc-15 -o flint_version flint_version.c -lflint -lmpfr -lgmp -lm
    #include <stdio.h>
    #include <flint/flint.h>

    int main(void) {
    printf("%s\n",flint_version);
    return (0); }
    ------------------><8==============

    I get the output:

    In file included from flint_version.c:7:
    /usr/include/flint/flint.h:241:16: error: expected ';' before 'void'
    241 | FLINT_NORETURN void flint_abort(void);
    | ^~~~
    /usr/include/flint/flint.h:484:16: error: expected ';' before 'void'
    484 | FLINT_NORETURN void flint_throw(flint_err_t exc, const char * msg, ...);
    | ^~~~

    I found this issue by trying to fix bugreport #1096557.

    Cheers,
    Jerome


    -- System Information:
    Debian Release: 13.0
    APT prefers unstable
    APT policy: (500, 'unstable'), (1, 'experimental')
    Architecture: amd64 (x86_64)

    Kernel: Linux 6.12.22+bpo-amd64 (SMP w/12 CPU threads; PREEMPT)
    Locale: LANG=C, LC_CTYPE=C.UTF-8 (charmap=UTF-8), LANGUAGE not set
    Shell: /bin/sh linked to /usr/bin/dash
    Init: unable to detect

    Versions of packages libflint-dev depends on:
    ii libflint19 3.1.3-2
    ii libmpfr-dev 4.2.2-1

    libflint-dev recommends no packages.

    libflint-dev suggests no packages.

    -- no debconf information

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)