From 3af760ee405ddccdede8d262e04478013d2ec9bb Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Sun, 21 Feb 2021 13:19:40 -0800
Subject: [PATCH] [sledge] Minor improvement to Frontend.cleanup

Summary:
It is not necessary to clear tables and sets that do not contain any
pointers to LLVM values.

Reviewed By: jvillard

Differential Revision: D26451306

fbshipit-source-id: 403c588fb
---
 sledge/cli/frontend.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/sledge/cli/frontend.ml b/sledge/cli/frontend.ml
index 1a88585de..469a46c3f 100644
--- a/sledge/cli/frontend.ml
+++ b/sledge/cli/frontend.ml
@@ -1633,12 +1633,10 @@ let check_datalayout llcontext lldatalayout =
 let cleanup llmodule llcontext =
   SymTbl.clear sym_tbl ;
   ScopeTbl.clear scope_tbl ;
-  String.Tbl.clear realpath_tbl ;
   LltypeTbl.clear anon_struct_name ;
   LltypeTbl.clear memo_type ;
   GlobTbl.clear memo_global ;
   ValTbl.clear memo_value ;
-  StringS.clear ignored_callees ;
   calls_to_backpatch := [] ;
   Gc.full_major () ;
   Llvm.dispose_module llmodule ;