Module SsaInput

Import path

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

InputSigCommon	Inputs to the shared SSA library’s parameterized module that is shared between the SSA pruning stage, and the final SSA stage.
SourceVariables

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.