Predicate checkCallContextReturn
Checks whether inner can return to call in the call context innercc.
Assumes a context of inner = viableCallableExt(call).
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate
checkCallContextReturn
(
CallContext
innercc
,
DataFlowCallable
inner
,
DataFlowCall
call
)