From 62a3187f5d9be017c0071a02846a050af4df2405 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Wed, 29 May 2019 09:06:21 -0700
Subject: [PATCH] [sledge] Don't call Llvm.dispose_context as it leads to
 crashes in GC

Summary:
The root cause is not clear, but it seems that not calling
Llvm.dispose_context avoids segfaults in the GC.

Reviewed By: kren1

Differential Revision: D15535434

fbshipit-source-id: 280e44d0b
---
 sledge/src/llair/frontend.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/sledge/src/llair/frontend.ml b/sledge/src/llair/frontend.ml
index 7d68d08e2..852d115d9 100644
--- a/sledge/src/llair/frontend.ml
+++ b/sledge/src/llair/frontend.ml
@@ -1391,7 +1391,6 @@ let translate : string -> Llair.t =
   Hashtbl.clear memo_value ;
   Hash_set.clear ignored_callees ;
   Llvm.dispose_module llmodule ;
-  Llvm.dispose_context llcontext ;
   Llair.mk ~globals ~functions
   |>
   [%Trace.retn fun {pf} _ -> pf ""]