Module SsaCached

The final SSA predicates used for dataflow purposes.

Import path

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

adjacentDefReadExt	Holds if `def` is accessed at index `i1` in basic block `bb1` (either a read or a write), `def` is read at index `i2` in basic block `bb2`, and there is a path between them without any read of `def`.
lastRefRedefExt	Holds if the node at index `i` in `bb` is a last reference to SSA definition `def`. The reference is last because it can reach another write `next`, without passing through another read or write.