about summary refs log tree commit diff homepage
path: root/runtime/klee-libc/strcoll.c
diff options
context:
space:
mode:
authorAlastair Reid <adreid@google.com>2020-08-01 14:13:47 +0000
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-08-28 15:09:18 +0100
commita04538aa72092bab9d255fe0c2e3b08dfad1e4e2 (patch)
tree3948e2873125d65e181573c9d18dc2209a467869 /runtime/klee-libc/strcoll.c
parent729ecede246be700bd483ff47d5462814df08b82 (diff)
downloadklee-a04538aa72092bab9d255fe0c2e3b08dfad1e4e2.tar.gz
Definition of __cxa_thread_atexit_impl for the KLEE libc.
This is a thread-local version of __cxa_atexit (but, in the absence
of threads, it is sufficient to just call __cxa_atexit).

The test is based on the existing test for atexit in
test/Runtime/Uclibc/2008-03-04-libc-atexit-uses-dso-handle.c

The motivation for adding this function is to support the Rust standard
library that calls __cxa_thread_atexit_impl.
This function is usually a weak symbol but, in KLEE, this behaves like a call
to an unknown function and chaos ensues.
Worse, it happens just as the program is cleanly shutting itself down,
so programs that are cleanly exiting crash with the wrong message.
Diffstat (limited to 'runtime/klee-libc/strcoll.c')
0 files changed, 0 insertions, 0 deletions