From 4761e60c5baeadacb0d5e94eccaf25c18daa771d Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 2 Feb 2021 04:37:07 -0800
Subject: [PATCH] [sledge] Suppress Context debug wrappers

Summary: The wrapper functions do not get inlined enough to avoid excess allocations.

Reviewed By: jvillard

Differential Revision: D25946110

fbshipit-source-id: 8dc3d8259
---
 sledge/src/fol/context.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sledge/src/fol/context.ml b/sledge/src/fol/context.ml
index 6344e8d9c..5cbd0bdb6 100644
--- a/sledge/src/fol/context.ml
+++ b/sledge/src/fol/context.ml
@@ -1396,7 +1396,7 @@ let report ~name ~elapsed ~aggregate ~count =
 
 let dump_threshold = ref 1000.
 
-let wrap tmr f call =
+let[@warning "-32"] wrap tmr f call =
   let f () =
     Timer.start tmr ;
     let r = f () in
@@ -1415,6 +1415,7 @@ let wrap tmr f call =
       let exn = Replay (exn, sexp_of_call (call ())) in
       Printexc.raise_with_backtrace exn bt
 
+let wrap _ f _ = f ()
 let add_tmr = Timer.create "add" ~at_exit:report
 let union_tmr = Timer.create "union" ~at_exit:report
 let inter_tmr = Timer.create "inter" ~at_exit:report