Predicate signature MakeImplCommon::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.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
signature predicate reducedViableImplInReturnCand(DataFlowCallable c, DataFlowCall call)