about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorPavel <operasfantom@gmail.com>2022-08-04 12:36:15 +0400
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-08-19 16:28:07 +0100
commit62680274c68ca6aa08c138d4c0fd12a09b73fe2a (patch)
tree9562422825f7963056cf0b11260433f4690d220d
parentc9de012b07426435b8bd3bb29082fbceddf403a3 (diff)
downloadklee-62680274c68ca6aa08c138d4c0fd12a09b73fe2a.tar.gz
Corrected wrong usage of klee_report_error in __cxa_atexit handler
-rw-r--r--runtime/klee-libc/__cxa_atexit.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/klee-libc/__cxa_atexit.c b/runtime/klee-libc/__cxa_atexit.c
index 027c2d0a..58939925 100644
--- a/runtime/klee-libc/__cxa_atexit.c
+++ b/runtime/klee-libc/__cxa_atexit.c
@@ -38,7 +38,7 @@ int __cxa_atexit(void (*fn)(void*),
     klee_report_error(__FILE__,
                       __LINE__,
                       "__cxa_atexit: no room in array!",
-                      "exec");
+                      "exec.err");
   
   AtExit[NumAtExit].fn = fn;
   AtExit[NumAtExit].arg = arg;