about summary refs log tree commit diff homepage
path: root/runtime
diff options
context:
space:
mode:
authorMartin Nowack <m.nowack@imperial.ac.uk>2023-10-12 10:34:33 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2024-02-08 13:17:19 +0000
commit2b75ab2af15527c9051f1d236427232bb2295d93 (patch)
treef5f90f7d18156fdad93998ec3067ada0ea1a0f11 /runtime
parentdb6381e1c3e1633b7e3a0adc50aea3fa553e18e4 (diff)
downloadklee-2b75ab2af15527c9051f1d236427232bb2295d93.tar.gz
Fix `klee_eh_cxx.cpp` compiler error
Diffstat (limited to 'runtime')
-rw-r--r--runtime/klee-eh-cxx/klee_eh_cxx.cpp2
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) {