CodeQL library for C/C++

codeql/cpp-all 6.1.1 (changelog, source)

Class ReachableBlock

An IR block that is reachable from the entry block of the function, considering only feasible edges.

Import path

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

Direct supertypes

IRBlockBase

Indirect supertypes

TIRBlock

Predicates

getAFeasiblePredecessor
getAFeasibleSuccessor

Inherited predicates

getAPhiInstruction	Get the `Phi` instructions that appear at the start of this block.	from IRBlockBase
getAnInstruction	Gets an instruction in this block. This includes `Phi` instructions.	from IRBlockBase
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
toString	Gets a textual representation of this block.	from IRBlockBase

Charpred