[ConfigImpact] Revise checking of having known expensive calls

Summary: It missed `unchecked_callees_cond`, which introduced FNs.

Reviewed By: ezgicicek

Differential Revision: D28088784

fbshipit-source-id: bfd5d92d0

infer/src/cost/ConfigImpactAnalysis.ml

@@ -138,6 +138,10 @@ module UncheckedCalleesCond = struct
     map (UncheckedCallees.replace_location_by_call location) fields_map
 
 
+  let has_known_expensive_callee fields_map =
+    exists (fun _ callees -> UncheckedCallees.has_known_expensive_callee callees) fields_map
+
+
   let filter_known_expensive fields_map =
     filter_map
       (fun _ callees ->
@@ -225,8 +229,9 @@ module Summary = struct
     {x with unchecked_callees; unchecked_callees_cond= UncheckedCalleesCond.bottom}
 
 
-  let has_known_expensive_callee {unchecked_callees} =
+  let has_known_expensive_callee {unchecked_callees; unchecked_callees_cond} =
     UncheckedCallees.has_known_expensive_callee unchecked_callees
+    || UncheckedCalleesCond.has_known_expensive_callee unchecked_callees_cond
 end
 
 module Dom = struct