Subject: why3: ftbfs with GCC-15

From: Matthias Klose <[email-masked]>
Date: Mon, 17 Feb 2025 18:00:13 +0000

Package: src:why3
Version: 1.8.0-2
Severity: important
Tags: sid forky
User: [email-masked]
Usertags: ftbfs-gcc-15

[This bug is NOT targeted to the upcoming trixie release]

Please keep this issue open in the bug tracker for the package it
was filed for.  If a fix in another package is required, please
file a bug for the other package (or clone), and add a block in this
package. Please keep the issue open until the package can be built in
a follow-up test rebuild.

The package fails to build in a test rebuild on at least amd64 with
gcc-15/g++-15, but succeeds to build with gcc-14/g++-14. The
severity of this report will be raised before the forky release.

The full build log can be found at:
http://qa-logs.debian.net/2025/02/16/amd64exp/why3_1.8.0-2_unstable_gccexp.log.gz
The last lines of the build log are at the end of this report.

To build with GCC 15, either set CC=gcc-15 CXX=g++-15 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.

  apt-get -t=experimental install g++ 

GCC 15 now defaults to the C23/C++23 standards, exposing many FTBFS.
Other Common build failures are new warnings resulting in build failures
with -Werror turned on, or new/dropped symbols in Debian symbols files.
For other C/C++ related build failures see the porting guide at
http://gcc.gnu.org/gcc-15/porting_to.html

[...]
Linking  bin/why3ide.cmxs
Ocamlc   src/ide/wserver.mli
Ocamlopt src/ide/wserver.ml
Ocamlc   src/ide/why3web.mli
Ocamlopt src/ide/why3web.ml
Linking  bin/why3webserver.cmxs
Ocamlc   src/why3session/why3session_lib.mli
Ocamlopt src/why3session/why3session_lib.ml
Ocamlc   src/why3session/why3session_info.mli
Ocamlopt src/why3session/why3session_info.ml
Ocamlc   src/why3session/why3session_html.mli
Ocamlopt src/why3session/why3session_html.ml
Ocamlc   src/why3session/why3session_latex.mli
Ocamlopt src/why3session/why3session_latex.ml
Ocamlc   src/why3session/why3session_update.mli
Ocamlopt src/why3session/why3session_update.ml
Ocamlc   src/why3session/why3session_output.mli
Ocamlopt src/why3session/why3session_output.ml
Ocamlc   src/why3session/why3session_create.mli
Ocamlopt src/why3session/why3session_create.ml
Ocamlc   src/why3session/why3session_main.mli
Ocamlopt src/why3session/why3session_main.ml
Linking  bin/why3session.cmxs
Ocamlc   src/tools/why3shell.mli
Ocamlopt src/tools/why3shell.ml
Linking  bin/why3shell.cmxs
Ocamlc   src/isabelle-client/isabelle_client_main.mli
Ocamlopt src/isabelle-client/isabelle_client_main.ml
Linking  bin/isabelle_client.opt
Ocamlc   src/tools/why3pp.mli
Ocamlopt src/tools/why3pp.ml
Linking  bin/why3pp.cmxs
Ocamlc   src/why3doc/doc_html.mli
Ocamlopt src/why3doc/doc_html.ml
Ocamlc   src/why3doc/doc_def.mli
Ocamlopt src/why3doc/doc_def.ml
Ocamlc   src/why3doc/doc_lexer.mli
Ocamlopt src/why3doc/doc_lexer.ml
Ocamlc   src/why3doc/doc_main.mli
Ocamlopt src/why3doc/doc_main.ml
Linking  bin/why3doc.cmxs
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/logging.o -c src/server/logging.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/arraylist.o -c src/server/arraylist.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/options.o -c src/server/options.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/queue.o -c src/server/queue.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/readbuf.o -c src/server/readbuf.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/request.o -c src/server/request.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/proc.o -c src/server/proc.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/writebuf.o -c src/server/writebuf.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-unix.o -c src/server/server-unix.c
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/server-win.o -c src/server/server-win.c
gcc -Wall -Wl,-z,relro -o  lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o
gcc -Wall -O -g -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/build/reproducible-path/why3-1.8.0=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fcf-protection -Wdate-time -D_FORTIFY_SOURCE=2 -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c
src/server/cpulimit-unix.c: In function ‘main’:
src/server/cpulimit-unix.c:95:23: error: assignment to ‘__sighandler_t’ {aka ‘void (*)(int)’} from incompatible pointer type ‘void (*)(void)’ [-Wincompatible-pointer-types]
   95 |         sa.sa_handler = &wallclock_timelimit_reached;
      |                       ^
src/server/cpulimit-unix.c:45:6: note: ‘wallclock_timelimit_reached’ declared here
   45 | void wallclock_timelimit_reached() {
      |      ^~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from src/server/cpulimit-unix.c:22:
/usr/include/signal.h:72:16: note: ‘__sighandler_t’ declared here
   72 | typedef void (*__sighandler_t) (int);
      |                ^~~~~~~~~~~~~~
make[2]: *** [Makefile:809: src/server/cpulimit-unix.o] Error 1
make[2]: Leaving directory '/build/reproducible-path/why3-1.8.0'
make[1]: *** [debian/rules:20: override_dh_auto_build-arch] Error 2
make[1]: Leaving directory '/build/reproducible-path/why3-1.8.0'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2