CodeQL library for C/C++

codeql/cpp-all 6.1.1 (changelog, source)

Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::resolveReturn

Resolves a return from callable in cc to call.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

predicate resolveReturn(CallContextNoCall cc, Callable callable, Call call)