Predicate signature MakeImplCommon::CallContextSensitivity::PrunedViableImplInputSig::recordDataFlowCallSiteUnreachable
signature predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable c)
signature predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable c)