diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/klee-libc/__cxa_atexit.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/klee-libc/__cxa_atexit.c b/runtime/klee-libc/__cxa_atexit.c index 990b645d..eb0c3e41 100644 --- a/runtime/klee-libc/__cxa_atexit.c +++ b/runtime/klee-libc/__cxa_atexit.c @@ -47,3 +47,8 @@ int __cxa_atexit(void (*fn)(void*), return 0; } +// This variant is part of more recent glibc versions and +// is required by the Rust standard library +int __cxa_thread_atexit_impl(void (*fn)(void*), void *arg, void *dso_handle) { + return __cxa_atexit(fn, arg, dso_handle); +} |