Module IRBlock

Import path

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

Imports

Predicates

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.