about summary refs log tree commit diff homepage
path: root/runtime
diff options
context:
space:
mode:
Diffstat (limited to 'runtime')
-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 eb0c3e41..027c2d0a 100644
--- a/runtime/klee-libc/__cxa_atexit.c
+++ b/runtime/klee-libc/__cxa_atexit.c
@@ -22,7 +22,7 @@ static void RunAtExit(void) __attribute__((destructor));
 static void RunAtExit(void) {
   unsigned i;
 
-  for (i=0; i<NumAtExit; ++i)
+  for (i = NumAtExit - 1; i < MAX_ATEXIT; --i)
     AtExit[i].fn(AtExit[i].arg);
 }