From bcff86a31606e0410a9295ed8ba35636d4b078a2 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 9 Oct 2017 23:29:08 +0100 Subject: [PATCH] [LSan] Add suppression for part of #1297. --- contrib/suppressions/sanitizers/lsan.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt index a4ce0881a..437358132 100644 --- a/contrib/suppressions/sanitizers/lsan.txt +++ b/contrib/suppressions/sanitizers/lsan.txt @@ -1 +1,5 @@ # LeakSanitizer suppression file + +# FIXME: This looks a bug in Clang/LSan the error reported +# doesn't make sense. See https://github.com/Z3Prover/z3/issues/1297 +leak:_fini