Info

Permalink
Function
__pthread_kill_implementation
First occurrence
2024-10-12
Last occurrence
2024-10-12
State
NEW
Components
coq
Quality
-43

Statistics

Operating system Count
Fedora 40 213
Architecture Count
x86_64 213
Executable Count
/usr/bin/coqtop 213
Related packages Count
coq-core 213
 0:8.18.0-4.fc40 213
gmp 213
 1:6.2.1-8.fc40 213
glibc 213
 0:2.39-22.fc40 213

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

History

Daily:

Weekly:

Monthly:

Report backtrace

Complete report #1044000
Frame # Function Binary Source or offset Line
1
__pthread_kill_implementation
/lib64/libc.so.6 0x99664
Build id: 77c77fee058b19c6f001cf2cb0371ce3b8341211 		-
2
raise
/lib64/libc.so.6 0x40c4e
Build id: 77c77fee058b19c6f001cf2cb0371ce3b8341211 		-
3
abort
/lib64/libc.so.6 0x28902
Build id: 77c77fee058b19c6f001cf2cb0371ce3b8341211 		-
4
caml_fatal_error
/usr/bin/coqtop 0x1845f69
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
5
/usr/bin/coqtop 0x182e4ab
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
6
stw_resize_minor_heap_reservation
/usr/bin/coqtop 0x182ed75
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
7
caml_try_run_on_all_domains_with_spin_work
/usr/bin/coqtop 0x182ff09
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
8
caml_update_minor_heap_max
/usr/bin/coqtop 0x1830058
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
9
caml_gc_set
/usr/bin/coqtop 0x183722f
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
10
caml_c_call
/usr/bin/coqtop 0x185210b
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
11
camlCoqinit.set_gc_policy_145
/usr/bin/coqtop 0xaf0ffd
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
12
camlCoqinit.init_gc_225
/usr/bin/coqtop 0xaf1116
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
13
camlDune__exe__Coqtop_bin.entry
/usr/bin/coqtop 0xa71704
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
14
caml_program
/usr/bin/coqtop 0xa30f0b
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
15
caml_start_program
/usr/bin/coqtop 0x18521c8
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
16
caml_startup_common
/usr/bin/coqtop 0x1851b65
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
17
caml_main
/usr/bin/coqtop 0x1851bdf
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
18
main
/usr/bin/coqtop 0xa2f300
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-
19
__libc_start_call_main
/lib64/libc.so.6 0x2a088
Build id: 77c77fee058b19c6f001cf2cb0371ce3b8341211 		-
20
__libc_start_main@@GLIBC_2.34
/lib64/libc.so.6 0x2a14b
Build id: 77c77fee058b19c6f001cf2cb0371ce3b8341211 		-
21
_start
/usr/bin/coqtop 0xa2f335
Build id: d6f74dcee6478e7e1c4310d8721ae580e0acbaec 		-