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

Module Ssa

Provides the portion of the parameterized IR interface that is used to construct the SSA stages of the IR. The raw stage of the IR does not expose these predicates. These predicates are all just aliases for predicates defined in the Cached module. This ensures that all of SSA construction will be evaluated in the same stage.

Import path

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

Aliases

MemoryLocation

A memory location accessed by a memory operand or memory result. In this implementation, the location is one of the following: - VariableMemoryLocation - A location within a known IRVariable, at an offset that is either a constant or is unknown. - UnknownMemoryLocation - A location not known to be within a specific IRVariable.

VariableGroup

An equivalence class of a set of allocations.

hasChiInstruction
hasChiNodeAfterUninitializedGroup
hasPhiInstruction
hasUnreachedInstruction