Crash in __pthread_kill_implementation

Similar reports
Problem #704378
Component
coq
Last affected version
0:8.20.1-1.fc42
Executable
/usr/bin/coqc
Error name
SIGABRT 6
First occurrence
2025-08-29
Last occurrence
2026-01-14
Unique reports
6
Quality
-43

Statistics

Operating system Unique / Total count
Fedora 42 6 / 9
Operating system Count
Fedora 42 9
Architecture Count
x86_64 9
Related packages Count
coq-core 9
 0:8.20.1-1.fc42 9
gmp 9
 1:6.3.0-4.fc42 9
glibc 9
 0:2.41-9.fc42 9

Packages names with count less than the total count of reports are most probably not the cause of the problem.

History

Daily:

Weekly:

Monthly:

History

Daily:

Weekly:

Monthly:


Backtrace

Frame # Function Binary Source or offset Line
1
__pthread_kill_implementation
/lib64/libc.so.6 0x7311c
Build id: 59bc4ca6b9e932adbef156d5ca49b4414efdffc0 		-
2
raise
/lib64/libc.so.6 0x19afe
Build id: 59bc4ca6b9e932adbef156d5ca49b4414efdffc0 		-
3
abort
/lib64/libc.so.6 0x16d0
Build id: 59bc4ca6b9e932adbef156d5ca49b4414efdffc0 		-
4
caml_fatal_error
/usr/bin/coqc 0x1136425
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
5
/usr/bin/coqc 0x111a088
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
6
stw_resize_minor_heap_reservation
/usr/bin/coqc 0x111b62e
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
7
caml_try_run_on_all_domains_with_spin_work
/usr/bin/coqc 0x111bcad
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
8
caml_update_minor_heap_max
/usr/bin/coqc 0x111be0c
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
9
caml_gc_set
/usr/bin/coqc 0x112338f
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
10
caml_c_call
/usr/bin/coqc 0x1143e7b
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
11
camlCoqinit.set_gc_policy_145
/usr/bin/coqc 0xbd96d
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
12
camlCoqinit.init_gc_225
/usr/bin/coqc 0xbda86
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
13
camlDune__exe__Coqc_bin.entry
/usr/bin/coqc 0x411f8
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
14
caml_program
/usr/bin/coqc 0x330b
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
15
caml_start_program
/usr/bin/coqc 0x1143f58
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
16
caml_startup_common
/usr/bin/coqc 0x11438d9
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
17
caml_main
/usr/bin/coqc 0x114394f
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
18
main
/usr/bin/coqc 0x15f0
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-
19
__libc_start_call_main
/lib64/libc.so.6 0x35f5
Build id: 59bc4ca6b9e932adbef156d5ca49b4414efdffc0 		-
20
__libc_start_main@@GLIBC_2.34
/lib64/libc.so.6 0x36a8
Build id: 59bc4ca6b9e932adbef156d5ca49b4414efdffc0 		-
21
_start
/usr/bin/coqc 0x1625
Build id: dc8184a99041bb0248db957df198f0f3aa3537e9 		-