Predicate Make::Private::relevantFlowSummaryPosition
Holds if return kind rk is a relevant return kind for flow summary modeling.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate relevantFlowSummaryPosition(ReturnKind rk)Holds if return kind rk is a relevant return kind for flow summary modeling.
import codeql.dataflow.internal.FlowSummaryImplpredicate relevantFlowSummaryPosition(ReturnKind rk)