CodeQL library for C/C++
codeql/cpp-all 2.0.1-dev (changelog, source)
Search

Module SSAConstructionInternal

Import path

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

Aliases

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.