Module SsaCached

The final SSA predicates used for dataflow purposes.

Import path

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

phiHasInputFromBlock
ssaDefReachesRead

variableRead	Holds if the `i`’th read in block `bb` reads to the variable `v`. `certain` is `true` if the read is guaranteed. For C++, this is always the case.
variableWrite	Holds if the `i`’th write in block `bb` writes to the variable `v`. `certain` is `true` if the write is guaranteed to overwrite the entire variable.