Module BasicBlock

Provides classes representing basic blocks.

Import path

import semmle.code.cil.BasicBlock

bbIDominates	Holds if `dom` is an immediate dominator of `bb`.
bbIPostDominates	Holds if `dom` is an immediate post-dominator of `bb`.

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
ConditionBlock	A basic block that terminates in a condition, splitting the subsequent control flow.
EntryBasicBlock	An entry basic block, that is, a basic block whose first node is the entry node of a callable.
ExitBasicBlock	An exit basic block, that is, a basic block whose last node is an exit node.
JoinBlock	A basic block with more than one predecessor.