-
Notifications
You must be signed in to change notification settings - Fork 0
/
valgrind.supp
94 lines (94 loc) · 1.29 KB
/
valgrind.supp
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
{
clang from main
Memcheck:Leak
...
fun:_ZN5clang*
fun:main
}
{
clang as lib
Memcheck:Leak
...
fun:_ZN5clang*
}
{
libc init
Memcheck:Leak
...
fun:__libc_csu_init
fun:(below main)
}
{
Z3_mk_config
Memcheck:Leak
...
fun:Z3_mk_config
...
}
{
Z3_mk_context_rc
Memcheck:Leak
...
fun:Z3_mk_context_rc
...
}
{
log4cpp from borealis::logging
Memcheck:Leak
...
fun:_ZN7log4cpp*
fun:_ZN8borealis7logging*
}
{
Z3 context
Memcheck:Leak
...
fun:_ZN2z37context*
}
{
google-test from main
Memcheck:Leak
...
fun:_ZN7testing*
fun:main
}
{
google-test as lib
Memcheck:Leak
...
fun:_ZN7testing8internal*
}
{
cfgparser from borealis::config
Memcheck:Leak
...
fun:_ZN14ConfigParser_t*
fun:_ZN8borealis6config*
...
}
{
Z3 pattern inference
Memcheck:Leak
...
fun:_ZN17pattern_inference18reduce1_quantifierEP10quantifier
...
}
{
borealis::OpaqueFloatingConstantTerm::getValue()
Memcheck:Addr8
fun:_ZNK8borealis26OpaqueFloatingConstantTerm8getValueEv
...
}
{
borealis::OpaqueBoolConstantTerm::getValue()
Memcheck:Addr1
fun:_ZNK8borealis22OpaqueBoolConstantTerm8getValueEv
...
}
{
llvm::StringRef
Memcheck:Leak
...
fun:_ZNK4llvm9StringRef*
...
}