From 909bca0e15282a56e3345850fb23a8f16c9e39e6 Mon Sep 17 00:00:00 2001
From: Tomas Jasek <tomsik68@posteo.net>
Date: Mon, 26 Oct 2020 18:28:10 +0100
Subject: Call functions in __cxa_atexit in reverse order

---
 runtime/klee-libc/__cxa_atexit.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime')

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);
 }
 
-- 
cgit 1.4.1