gentoo-ebuilds/dev-lang/xsb/files/xsb-4.0.0-gcc14-build-fix.patch
Brahmajit Das 6e172d5de4
dev-lang/xsb: Fix passing of incompatible pointer type
[sam: Add a fix for https://bugs.gentoo.org/949632 too.]

Closes: https://bugs.gentoo.org/949632
Closes: https://bugs.gentoo.org/930439
Signed-off-by: Brahmajit Das <brahmajit.xyz@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/36363
Signed-off-by: Sam James <sam@gentoo.org>
2025-02-12 09:02:14 +00:00

11 lines
556 B
Diff

--- a/emu/timer_xsb.c
+++ b/emu/timer_xsb.c
@@ -264,7 +264,7 @@ int make_timed_call(CTXTdeclc xsbTimeout *pptr, void (*fptr)(xsbTimeout *))
pptr->timeout_info.th=th;
// below, fptr is pointer to start routine, pptr is pointer to arg-array.
// TIMED_THREAD_CREATE_ARG is a cell of timeout_info.
- if (pthread_create(TIMED_THREAD_CREATE_ARG, NULL, fptr, pptr)) {
+ if (pthread_create(TIMED_THREAD_CREATE_ARG, NULL, (void *)fptr, pptr)) {
xsb_error("SOCKET_REQUEST: Can't create concurrent timer thread\n");
return TIMER_SETUP_ERR;
}