From 90f8c732736d66242572d14f32332074a4de5022 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Wed, 27 Jun 2018 03:23:30 -0700
Subject: [PATCH] [biabduction] Enable dynamic disptach on Objective-C blocks

Reviewed By: jeremydubreil

Differential Revision: D8615428

fbshipit-source-id: 39241e5
---
 infer/src/biabduction/SymExec.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/biabduction/SymExec.ml b/infer/src/biabduction/SymExec.ml
index e42f8c035..fc7c82678 100644
--- a/infer/src/biabduction/SymExec.ml
+++ b/infer/src/biabduction/SymExec.ml
@@ -1121,6 +1121,7 @@ let resolve_and_analyze_clang current_pdesc tenv prop_r n_actual_params callee_p
   if
     Config.dynamic_dispatch && not (is_variadic_procname callee_pname)
     && Typ.Procname.is_objc_method callee_pname
+    || Typ.Procname.is_objc_block callee_pname
     (* to be extended to other methods *)
   then
     try