Info

Permalink
Function
__pthread_kill_implementation
First occurrence
2024-11-30
Last occurrence
2024-11-30
State
NEW
Components
cvc5
Quality
-25

Statistics

Operating system Count
Fedora 41 2
Architecture Count
x86_64 2
Executable Count
/usr/bin/cvc5 2
Related packages Count
cvc5 2
 0:1.2.0-1.fc41 2
flexiblas-netlib 2
 0:3.4.4-3.fc41 2
gsl 2
 0:2.7.1-11.fc41 2
Show more… (3)
libgfortran 2
 0:14.2.1-3.fc41 2
libgomp 2
 0:14.2.1-3.fc41 2
openblas-openmp 2
 0:0.3.26-5.fc41 2

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 #1083860
Frame # Function Binary Source or offset Line
1
__pthread_kill_implementation
/lib64/libc.so.6 0x72c94
Build id: b6c381bfdcb5e08ea82c1c39cf16580181fb6cfc 		-
2
raise
/lib64/libc.so.6 0x19d1e
Build id: b6c381bfdcb5e08ea82c1c39cf16580181fb6cfc 		-
3
abort
/lib64/libc.so.6 0x1942
Build id: b6c381bfdcb5e08ea82c1c39cf16580181fb6cfc 		-
4
__gnu_cxx::__verbose_terminate_handler() [clone .cold]
/lib64/libstdc++.so.6 0x9da9
Build id: 4afeee4717e6cbbc84c67861dfcfdeb165bfdad7 		-
5
__cxxabiv1::__terminate(void (*)())
/lib64/libstdc++.so.6 0x1bc2c
Build id: 4afeee4717e6cbbc84c67861dfcfdeb165bfdad7 		-
6
std::unexpected()
/lib64/libstdc++.so.6 0x9951
Build id: 4afeee4717e6cbbc84c67861dfcfdeb165bfdad7 		-
7
/lib64/libstdc++.so.6 0x1beb8
Build id: 4afeee4717e6cbbc84c67861dfcfdeb165bfdad7 		-
8
runCvc5(int, char**, std::unique_ptr<cvc5::Solver, std::default_delete<cvc5::Solver> >&) [clone .cold]
/usr/bin/cvc5 0x8654
Build id: 6d5a84dd7dfd16f03d095c7b20e5bb88c0f05f8e 		-
9
main
/usr/bin/cvc5 0x99fb
Build id: 6d5a84dd7dfd16f03d095c7b20e5bb88c0f05f8e 		-
10
__libc_start_call_main
/lib64/libc.so.6 0x3248
Build id: b6c381bfdcb5e08ea82c1c39cf16580181fb6cfc 		-
11
__libc_start_main@@GLIBC_2.34
/lib64/libc.so.6 0x330b
Build id: b6c381bfdcb5e08ea82c1c39cf16580181fb6cfc 		-
12
_start
/usr/bin/cvc5 0xa9d5
Build id: 6d5a84dd7dfd16f03d095c7b20e5bb88c0f05f8e 		-