[biabduction] Enable dynamic disptach on Objective-C blocks

Reviewed By: jeremydubreil Differential Revision: D8615428 fbshipit-source-id: 39241e5
7 years ago · 90f8c73273
parent e5de1b6663
commit 90f8c73273
1 changed files with 1 additions and 0 deletions
--- 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