diff options
| author | Pavel <operasfantom@gmail.com> | 2022-08-04 12:36:15 +0400 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-08-19 16:28:07 +0100 |
| commit | 62680274c68ca6aa08c138d4c0fd12a09b73fe2a (patch) | |
| tree | 9562422825f7963056cf0b11260433f4690d220d | |
| parent | c9de012b07426435b8bd3bb29082fbceddf403a3 (diff) | |
| download | klee-62680274c68ca6aa08c138d4c0fd12a09b73fe2a.tar.gz | |
Corrected wrong usage of klee_report_error in __cxa_atexit handler
| -rw-r--r-- | runtime/klee-libc/__cxa_atexit.c | 2 |
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; |