CodeQL library for C/C++
Search

Module IRBlock

Provides classes describing basic blocks in the IR of a function.

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.IRBlock

Imports

EdgeKind

Provides classes that specify the conditions under which control flows along a given edge.

Instruction

Provides classes that represent the individual instructions in the IR for a function.

Classes

IRBlock

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.

IRBlockBase

A basic block in the IR. A basic block consists of a sequence of Instructions with the only incoming edges at the beginning of the sequence and the only outgoing edges at the end of the sequence.