Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 945325 - sci-mathematics/why3-for-spark-2021-r1 - [ncurses-6.5] [meson] [gcc-15] srccpulimit-unix.c: error: assignment to _sighandler_t {aka void ( )(int)} from incompatible point
Summary: sci-mathematics/why3-for-spark-2021-r1 - [ncurses-6.5] [meson] [gcc-15] srccp...
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks: c23-porting
  Show dependency tree
 
Reported: 2024-11-29 10:32 UTC by Toralf Förster
Modified: 2024-12-15 07:37 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,20.47 KB, text/plain)
2024-11-29 10:32 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,223.05 KB, text/plain)
2024-11-29 10:32 UTC, Toralf Förster
Details
environment (environment,83.31 KB, text/plain)
2024-11-29 10:32 UTC, Toralf Förster
Details
etc.clang.tar.xz (etc.clang.tar.xz,1.35 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details
etc.portage.tar.xz (etc.portage.tar.xz,24.75 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details
logs.tar.xz (logs.tar.xz,9.45 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details
qlist-info.txt.xz (qlist-info.txt.xz,59.45 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details
sci-mathematics:why3-for-spark-2021-r1:20241128-223601.log.xz (sci-mathematics:why3-for-spark-2021-r1:20241128-223601.log.xz,16.91 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details
temp.tar.xz (temp.tar.xz,21.11 KB, application/x-xz)
2024-11-29 10:32 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2024-11-29 10:32:32 UTC
too long lines were shrinked:

x86_64-pc-linux-gnu-gcc -Wall -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -O -g -o src/server/writebuf.o -c src/server/writebuf.c
x86_64-pc-linux-gnu-gcc -Wall -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -O -g -o src/server/server-unix.o -c src/server/server-unix.c
x86_64-pc-linux-gnu-gcc -Wall -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -O -g -o src/server/server-win.o -c src/server/server-win.c
x86_64-pc-linux-gnu-gcc -Wall -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -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/
x86_64-pc-linux-gnu-gcc -Wall -O2 -pipe -march=native -fno-diagnostics-color -Werror=lto-type-mismatch -Werror=strict-aliasing -Werror=odr -flto -O -g -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;
      |                       ^

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 23.0_hardened-20241124-123002

  UNMASKED:
  <sys-devel/gcc-15.0.9999:15
    Please re-assign to ztrawhcse@ if you cannot reproduced it with regular meson.
  <dev-build/meson-9999
    Issues involving opaque types / incomplete typedefs should block bug 930805
  >=sys-libs/ncurses-6.5

  The attached etc.portage.tar.xz has all details.
  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-10
 [2] x86_64-pc-linux-gnu-15 *
clang version 19.1.4
llvm-config: 19.1.4
Python 3.12.7
go version go1.23.3 linux/amd64
Available Ruby profiles:
  [1]   ruby32 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.81.0
  [2]   rust-bin-1.82.0
  [3]   rust-1.82.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.25_p9 [openjdk-bin-11]
2)	Eclipse Temurin JDK 17.0.13_p11 [openjdk-bin-17]
*)	Eclipse Temurin JDK 21.0.5_p11 [openjdk-bin-21]
4)	Eclipse Temurin JDK 8.432_p06 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17 
  [4]   openjdk-bin-21  system-vm


  HEAD of ::gentoo
commit 8bc8b87558c99042e41994d81c0f527de7c259a5
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Thu Nov 28 22:18:21 2024 +0000

    2024-11-28 22:18:21 UTC

emerge -qpvO =sci-mathematics/why3-for-spark-2021-r1
[ebuild  N    ] sci-mathematics/why3-for-spark-2021-r1  USE="ocamlopt -coq (-doc) -emacs -gtk -html -hypothesis-selection -sexp -zarith -zip"
Comment 1 Toralf Förster gentoo-dev 2024-11-29 10:32:32 UTC
Created attachment 912658 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2024-11-29 10:32:34 UTC
Created attachment 912659 [details]
emerge-history.txt
Comment 3 Toralf Förster gentoo-dev 2024-11-29 10:32:35 UTC
Created attachment 912660 [details]
environment
Comment 4 Toralf Förster gentoo-dev 2024-11-29 10:32:35 UTC
Created attachment 912661 [details]
etc.clang.tar.xz
Comment 5 Toralf Förster gentoo-dev 2024-11-29 10:32:36 UTC
Created attachment 912662 [details]
etc.portage.tar.xz
Comment 6 Toralf Förster gentoo-dev 2024-11-29 10:32:37 UTC
Created attachment 912663 [details]
logs.tar.xz
Comment 7 Toralf Förster gentoo-dev 2024-11-29 10:32:38 UTC
Created attachment 912664 [details]
qlist-info.txt.xz
Comment 8 Toralf Förster gentoo-dev 2024-11-29 10:32:39 UTC
Created attachment 912665 [details]
sci-mathematics:why3-for-spark-2021-r1:20241128-223601.log.xz
Comment 9 Toralf Förster gentoo-dev 2024-11-29 10:32:40 UTC
Created attachment 912666 [details]
temp.tar.xz