From fd98593a5882075df3afa4c63cb47ebd7f73abee Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 15 Oct 2017 12:19:16 +0100
Subject: [PATCH] [ASan] Ignore Clang OpenMP leaks for now.

---
 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..1480b7c09 100644
--- a/contrib/suppressions/sanitizers/lsan.txt
+++ b/contrib/suppressions/sanitizers/lsan.txt
@@ -1 +1,5 @@
 # LeakSanitizer suppression file
+
+# Ignore Clang OpenMP leaks.
+# See https://github.com/Z3Prover/z3/issues/1308
+leak:___kmp_allocate