Info

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

Graphs

Statistics

Operating system Count
Fedora 40 863
Fedora 42 229
Architecture Count
x86_64 1,092
Executable Count
/usr/bin/coqtop 1,092
Related packages Count
glibc 1,092
 0:2.39-22.fc40 863
 0:2.41-9.fc42 229
coq-core 229
 0:8.20.1-1.fc42 229
gmp 229
 1:6.3.0-4.fc42 229

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 #1309344
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/coqtop 0x1137725
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
5
/usr/bin/coqtop 0x111b388
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
6
stw_resize_minor_heap_reservation
/usr/bin/coqtop 0x111c92e
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
7
caml_try_run_on_all_domains_with_spin_work
/usr/bin/coqtop 0x111cfad
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
8
caml_update_minor_heap_max
/usr/bin/coqtop 0x111d10c
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
9
caml_gc_set
/usr/bin/coqtop 0x112468f
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
10
caml_c_call
/usr/bin/coqtop 0x114517b
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
11
camlCoqinit.set_gc_policy_145
/usr/bin/coqtop 0xbec9d
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
12
camlCoqinit.init_gc_225
/usr/bin/coqtop 0xbedb6
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
13
camlDune__exe__Coqtop_bin.entry
/usr/bin/coqtop 0x41339
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
14
caml_program
/usr/bin/coqtop 0x330b
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
15
caml_start_program
/usr/bin/coqtop 0x1145258
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
16
caml_startup_common
/usr/bin/coqtop 0x1144bd9
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
17
caml_main
/usr/bin/coqtop 0x1144c4f
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
18
main
/usr/bin/coqtop 0x15f0
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
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/coqtop 0x1625
Build id: d4966353054f49c2afc218a57c85c62436025e07 		-
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 		-