Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::viableImplNotCallContextReducedReverse
Holds if a return does not have a reduced set of viable call sites to
return to in call context ctx
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate viableImplNotCallContextReducedReverse(CallContextNoCall ctx)