Info

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

Statistics

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

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 #1042895
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/coqc 0x1845ec9
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
5
/usr/bin/coqc 0x182e40b
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
6
stw_resize_minor_heap_reservation
/usr/bin/coqc 0x182ecd5
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
7
caml_try_run_on_all_domains_with_spin_work
/usr/bin/coqc 0x182fe69
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
8
caml_update_minor_heap_max
/usr/bin/coqc 0x182ffb8
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
9
caml_gc_set
/usr/bin/coqc 0x183718f
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
10
caml_c_call
/usr/bin/coqc 0x185206b
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
11
camlCoqinit.set_gc_policy_145
/usr/bin/coqc 0xaf0f5d
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
12
camlCoqinit.init_gc_225
/usr/bin/coqc 0xaf1076
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
13
camlDune__exe__Coqc_bin.entry
/usr/bin/coqc 0xa71695
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
14
caml_program
/usr/bin/coqc 0xa30f0b
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
15
caml_start_program
/usr/bin/coqc 0x1852128
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
16
caml_startup_common
/usr/bin/coqc 0x1851ac5
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
17
caml_main
/usr/bin/coqc 0x1851b3f
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
18
main
/usr/bin/coqc 0xa2f300
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-
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/coqc 0xa2f335
Build id: 153d5dcfd7914ce5ebcefaccb8ae5ff7106ed659 		-