Predicate resolveReturn
Resolves a return from callable in cc to call. This is equivalent to
callable = viableCallableExt(call) and checkCallContextReturn(cc, callable, call).
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate
resolveReturn
(
CallContext
cc
,
DataFlowCallable
callable
,
DataFlowCall
call
)