Module ReachableBlock

Import path

import semmle.code.cpp.ir.implementation.unaliased_ssa.internal.reachability.ReachableBlock

hasInstructionWithMissingSuccessor	Holds if `f` has an instruction with a missing successor. This matches `instructionWithoutSuccessor` from `IRConsistency`, but avoids generating the error strings.
isInfeasibleEdge
isInfeasibleInstructionSuccessor

ReachableBlock	An IR block that is reachable from the entry block of the function, considering only feasible edges.
ReachableInstruction	An instruction that is contained in a reachable block.