Module InputSigCommon
Inputs to the shared SSA library’s parameterized module that is shared between the SSA pruning stage, and the final SSA stage.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommonClasses
Aliases
| BasicBlock | A basic block with additional information about its predecessor and successor edges. Each edge corresponds to the control flow between the last instruction of one block and the first instruction of another block. |