blob: 027c2d0af0169219a77d6ba8e23fd6db49aa6567 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
/*===-- __cxa_atexit.c ----------------------------------------------------===//
//
// The KLEE Symbolic Virtual Machine
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===*/
#include "klee/klee.h"
#define MAX_ATEXIT 128
static struct {
void (*fn)(void*);
void *arg;
void *dso_handle;
} AtExit[MAX_ATEXIT];
static unsigned NumAtExit = 0;
static void RunAtExit(void) __attribute__((destructor));
static void RunAtExit(void) {
unsigned i;
for (i = NumAtExit - 1; i < MAX_ATEXIT; --i)
AtExit[i].fn(AtExit[i].arg);
}
int __cxa_atexit(void (*fn)(void*),
void *arg,
void *dso_handle) {
klee_warning_once("FIXME: __cxa_atexit being ignored");
/* Better to just report an error here than return 1 (the defined
* semantics).
*/
if (NumAtExit == MAX_ATEXIT)
klee_report_error(__FILE__,
__LINE__,
"__cxa_atexit: no room in array!",
"exec");
AtExit[NumAtExit].fn = fn;
AtExit[NumAtExit].arg = arg;
++NumAtExit;
return 0;
}
// This variant is part of more recent glibc versions and
// is required by the Rust standard library
int __cxa_thread_atexit_impl(void (*fn)(void*), void *arg, void *dso_handle) {
return __cxa_atexit(fn, arg, dso_handle);
}
|
