CodeQL library for C/C++
codeql/cpp-all 1.1.0 (changelog, source)
Search

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

Indirect supertypes

Predicates

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 indexth 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