CodeQL library for C/C++
Search

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)