Module MakeImplCommon::Cached::FlowThrough::Final
The final flow-through calculation:
- Calculated flow is either value-preserving (
read = TReadStepTypesNone()
) or summarized as a single read step with before and after types recorded in theReadStepTypesOption
parameter. - Types are checked using the
compatibleTypes()
relation.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
Predicates
argumentValueFlowsThrough | Holds if |
getterStep | Holds if |
parameterValueFlow | Holds if |