CodeQL library for C/C++


                        codeql/cpp-all


                        0.7.1

( changelog , source )

Class 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 kind pos, and flow through may be possible.

Import path


                                import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon

Direct supertypes

TReturnCtx

Predicates