Info

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

Graphs

Statistics

Operating system Count
Fedora 40 22
Fedora 42 9
Architecture Count
x86_64 31
Executable Count
/usr/bin/coqc 31
Related packages Count
glibc 31
 0:2.39-22.fc40 22
 0:2.41-9.fc42 9
coq-core 9
 0:8.20.1-1.fc42 9
gmp 9
 1:6.3.0-4.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:

Report backtrace


Complete report #1306708
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 		-
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 		-