Module SSAConstructionInternal

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionInternal

Alias
Dominance
Language
NewIR	Provides classes that describe the Intermediate Representation (IR) of the program.
OldIR	Provides classes that describe the Intermediate Representation (IR) of the program.
Reachability
SsaInstructions	Provides wrappers for the constructors of each branch of `TInstruction` that is used by the aliased SSA stage. These wrappers are not parameterized because it is not possible to invoke an IPA constructor via a class alias.
SsaOperands	Provides wrappers for the constructors of each branch of `TOperand` that is used by the aliased SSA stage. These wrappers are not parameterized because it is not possible to invoke an IPA constructor via a class alias.