From 35f86fbe7b620e3ab08ac13f0fd88d819d49f3aa Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Fri, 10 Jun 2016 00:32:58 -0700
Subject: [PATCH] separate lazy dynamic dispatch from dynamic dispatch handling
 in preanalysis

Reviewed By: jberdine

Differential Revision: D3411962

fbshipit-source-id: 01896e0
---
 infer/src/backend/preanal.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/backend/preanal.ml b/infer/src/backend/preanal.ml
index 1632fe8dc..32325c4b5 100644
--- a/infer/src/backend/preanal.ml
+++ b/infer/src/backend/preanal.ml
@@ -220,5 +220,5 @@ let add_nullify_instrs pdesc tenv =
 
 let doit pdesc cg tenv =
   add_nullify_instrs pdesc tenv;
-  add_dispatch_calls pdesc cg tenv;
+  if not Config.lazy_dynamic_dispatch then add_dispatch_calls pdesc cg tenv;
   add_abstraction_instructions pdesc;