Class ReachableJoinBlock
A reachable basic block with more than one predecessor.
Import path
import semmle.go.controlflow.BasicBlocksDirect supertypes
Indirect supertypes
Predicates
| inDominanceFrontierOf | Holds if this basic block belongs to the dominance frontier of |
Inherited predicates
| dominates | Holds if this basic block dominates | from ReachableBasicBlock |
| getANode | Gets a node in this block. | from BasicBlock |
| getAPredecessor | Gets a basic block preceding this one. | from BasicBlock |
| getASuccessor | Gets a basic block succeeding this one. | from BasicBlock |
| getFirstNode | Gets the first node in this block. | from BasicBlock |
| getImmediateDominator | Gets the basic block that immediately dominates this basic block. | from BasicBlock |
| getLastNode | Gets the last node in this block. | from BasicBlock |
| getNode | Gets the node at the given position in this block. | from BasicBlock |
| getRoot | Gets the innermost function or file to which this basic block belongs. | from BasicBlock |
| hasLocationInfo | Holds if this basic block is at the specified location. The location spans column | from BasicBlock |
| length | Gets the length of this block. | from BasicBlock |
| postDominates | Holds if this basic block post-dominates | from ReachableBasicBlock |
| strictlyDominates | Holds if this basic block strictly dominates | from ReachableBasicBlock |
| strictlyPostDominates | Holds if this basic block strictly post-dominates | from ReachableBasicBlock |
| toString | Gets a textual representation of this basic block. | from BasicBlock |