about summary refs log tree commit diff homepage
path: root/utils
diff options
context:
space:
mode:
Diffstat (limited to 'utils')
-rw-r--r--utils/sanitizers/lsan.txt12
1 files changed, 0 insertions, 12 deletions
diff --git a/utils/sanitizers/lsan.txt b/utils/sanitizers/lsan.txt
index 836d60c1..e88f078b 100644
--- a/utils/sanitizers/lsan.txt
+++ b/utils/sanitizers/lsan.txt
@@ -9,15 +9,3 @@
 # Low priority
 leak:tools/kleaver/main.cpp
 leak:lib/Expr/Parser.cpp
-
-# These are bad, these definitely need fixing
-leak:klee::ConstantExpr::alloc
-leak:klee::ConcatExpr::alloc
-leak:klee::ReadExpr::alloc
-leak:klee::ExtractExpr::alloc
-leak:klee::ExtractExpr::alloc
-leak:klee::AddExpr::alloc
-leak:klee::SubExpr::alloc
-leak:klee::SExtExpr::alloc
-leak:klee::MulExpr::alloc
-leak:klee::ZExtExpr::alloc