Predicate MakeImplCommon::Cached::viableReturnPosOut
Holds if a value at return position pos
can be returned to out
via call
,
taking virtual dispatch into account.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate viableReturnPosOut(DataFlowCall call, ReturnPosition pos, Node out)