Predicate checkCallContextReturn

Checks whether inner can return to call in the call context innercc. Assumes a context of inner = viableCallableExt(call).

Import path

import codeql.ruby.dataflow.internal.DataFlowImplCommon

predicate checkCallContextReturn(CallContext innercc, DataFlowCallable inner, DataFlowCall call)