Predicate 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 semmle.code.java.dataflow.internal.DataFlowImplCommon
predicate viableReturnPosOut(DataFlowCall call, ReturnPosition pos, Node out)