diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-12 10:34:33 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | 2b75ab2af15527c9051f1d236427232bb2295d93 (patch) | |
| tree | f5f90f7d18156fdad93998ec3067ada0ea1a0f11 | |
| parent | db6381e1c3e1633b7e3a0adc50aea3fa553e18e4 (diff) | |
| download | klee-2b75ab2af15527c9051f1d236427232bb2295d93.tar.gz | |
Fix `klee_eh_cxx.cpp` compiler error
| -rw-r--r-- | runtime/klee-eh-cxx/klee_eh_cxx.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/klee-eh-cxx/klee_eh_cxx.cpp b/runtime/klee-eh-cxx/klee_eh_cxx.cpp index 9d86bef4..cb5e0c7c 100644 --- a/runtime/klee-eh-cxx/klee_eh_cxx.cpp +++ b/runtime/klee-eh-cxx/klee_eh_cxx.cpp @@ -90,7 +90,7 @@ get_thrown_object_ptr(_Unwind_Exception* unwind_exception) // Our implementation of a personality function for handling // libcxxabi-exceptions. Follows how libcxxabi's __gxx_personality_v0 handles // exceptions. -[[gnu::used]] extern "C" std::int32_t +extern "C" std::int32_t _klee_eh_cxx_personality(_Unwind_Exception *exceptionPointer, const std::size_t num_bytes, const unsigned char *lp_clauses) { |