Module Cached

Import path

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

backEdgeSuccessor
blockImmediatelyDominates
blockSuccessor
blockSuccessor
getInstruction	Holds if `i` is the `index`th instruction in `block`.
getInstructionCount