Predicate signature MakeImplCommon::CallContextSensitivityInputSig::reducedViableImplInReturnCand
Holds if flow returning from callable c
to call call
might return
further and if this path may restrict the set of call sites that can be
returned to.
signature predicate reducedViableImplInReturnCand(DataFlowCallable c, DataFlowCall call)