Class MakeImplCommon::ReturnCtx
A return context used to calculate flow summaries in reverse flow.
The possible values are:
TReturnCtxNone()
: no return flow.TReturnCtxNoFlowThrough()
: return flow, but flow through is not possible.TReturnCtxMaybeFlowThrough(ReturnPosition pos)
: return flow, of kindpos
, and flow through may be possible.
Import path
import codeql.dataflow.internal.DataFlowImplCommon