Predicate resolveCall
Resolves a call from call in cc to result. This is equivalent to
result = viableCallableExt(call) and checkCallContextCall(cc, call, result).
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
DataFlowCallable
resolveCall
(
DataFlowCall
call
,
CallContext
cc
)