Class InputSigCommon::BasicBlock

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon

Direct supertypes

IRBlock

Indirect supertypes

Predicates

getNode
length

Inherited predicates

dominanceFrontier	Gets a block on the dominance frontier of this block.	from IRBlock
dominates	Holds if this block dominates `block`.	from IRBlock
getAPhiInstruction	Get the `Phi` instructions that appear at the start of this block.	from IRBlockBase
getAPredecessor	Gets a block from which control flows directly to this block.	from IRBlock
getASuccessor	Gets a block to which control flows directly from this block.	from IRBlock
getAnInstruction	Gets an instruction in this block. This includes `Phi` instructions.	from IRBlockBase
getBackEdgeSuccessor	Gets the block to which control flows directly from this block along a back edge of kind `kind`.	from IRBlock
getDisplayIndex	INTERNAL: Do not use.	from IRBlockBase
getEnclosingFunction	Gets the `Function` that contains this block.	from IRBlockBase
getEnclosingIRFunction	Gets the `IRFunction` that contains this block.	from IRBlockBase
getFirstInstruction	Gets the first non-`Phi` instruction in this block.	from IRBlockBase
getInstruction	Gets the `index`th non-`Phi` instruction in this block.	from IRBlockBase
getInstructionCount	Gets the number of non-`Phi` instructions in this block.	from IRBlockBase
getLastInstruction	Gets the last instruction in this block.	from IRBlockBase
getLocation	Gets the source location of the first non-`Phi` instruction in this block.	from IRBlockBase
getSuccessor	Gets the block to which control flows directly from this block along an edge of kind `kind`.	from IRBlock
immediatelyDominates	Holds if this block immediately dominates `block`.	from IRBlock
immediatelyPostDominates	Holds if this block immediately post-dominates `block`.	from IRBlock
isReachableFromFunctionEntry	Holds if this block is reachable from the entry block of its function.	from IRBlock
postDominanceFrontier	Gets a block on the post-dominance frontier of this block.	from IRBlock
postDominates	Holds if this block is a post-dominator of `block`.	from IRBlock
strictlyDominates	Holds if this block strictly dominates `block`.	from IRBlock
strictlyPostDominates	Holds if this block strictly post-dominates `block`.	from IRBlock
toString	Gets a textual representation of this block.	from IRBlockBase