From f90fe928af7029cb4c2179da5eca6268b1d2efe5 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Mon, 9 Oct 2017 23:42:10 +0100 Subject: [PATCH] [LSan] Suppress another leak until I can figure out what is going on. --- contrib/suppressions/sanitizers/lsan.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contrib/suppressions/sanitizers/lsan.txt b/contrib/suppressions/sanitizers/lsan.txt index 437358132..81a3c8b85 100644 --- a/contrib/suppressions/sanitizers/lsan.txt +++ b/contrib/suppressions/sanitizers/lsan.txt @@ -3,3 +3,6 @@ # 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 +# FIXME: I don't understand this leak. +# See https://github.com/Z3Prover/z3/issues/1297 +leak:error_code_example2