Class UnreachableBasicBlock
An unreachable basic block is one that is dominated by a condition that never holds.
Import path
import semmle.code.java.controlflow.UnreachableBlocks
Direct supertypes
Indirect supertypes
Inherited predicates
bbDominates | DEPRECATED: Use | from BasicBlock |
bbPostDominates | DEPRECATED: Use | from BasicBlock |
bbStrictlyDominates | DEPRECATED: Use | from BasicBlock |
bbStrictlyPostDominates | DEPRECATED: Use | from BasicBlock |
dominates | Holds if this basic block dominates basic block | from BasicBlock |
edgeDominates | Holds if the edge with successor type | from BasicBlock |
getABBPredecessor | DEPRECATED: Use | from BasicBlock |
getABBSuccessor | DEPRECATED: Use | from BasicBlock |
getANode | Gets a control flow node in this basic block. | from BasicBlock |
getAPredecessor | Gets an immediate predecessor of this basic block, if any. | from BasicBlock |
getAPredecessor | Gets an immediate predecessor of this basic block of a given type, if any. | from BasicBlock |
getASuccessor | Gets an immediate successor of this basic block, if any. | from BasicBlock |
getASuccessor | Gets an immediate successor of this basic block of a given type, if any. | from BasicBlock |
getEnclosingCallable | Gets the immediately enclosing callable whose body contains this node. | from BasicBlock |
getFirstNode | Gets the first control flow node in this basic block. | from BasicBlock |
getImmediateDominator | Gets the basic block that immediately dominates this basic block, if any. | from BasicBlock |
getLastNode | Gets the last control flow node in this basic block. | from BasicBlock |
getLocation | Gets the location of this basic block. | from BasicBlock |
getNode | Gets the control flow node at a specific (zero-indexed) position in this basic block. | from BasicBlock |
getScope | Gets the CFG scope of this basic block. | from BasicBlock |
immediatelyDominates | Holds if this basic block immediately dominates basic block | from BasicBlock |
inDominanceFrontier | Holds if | from BasicBlock |
inLoop | Holds if this basic block is in a loop in the control flow graph. | from BasicBlock |
length | Gets the length of this basic block. | from BasicBlock |
postDominates | Holds if this basic block post-dominates basic block | from BasicBlock |
strictlyDominates | Holds if this basic block strictly dominates basic block | from BasicBlock |
strictlyPostDominates | Holds if this basic block strictly post-dominates basic block | from BasicBlock |
toString | Gets a textual representation of this basic block. | from BasicBlock |