CodeQL library for C/C++
codeql/cpp-all 2.0.2 (changelog, source)
Search

Predicate MakeImplCommon::CallContextSensitivity::reducedViableImplInReturn

Holds if flow returning from callable c to call call might return further and if this path restricts the set of call sites that can be returned to.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate reducedViableImplInReturn(DataFlowCallable c, DataFlowCall call)