CodeQL library for C/C++

codeql/cpp-all 6.0.1 (changelog, source)

Class ExitBasicBlock

A basic block whose last node is the exit point of a function.

Import path

import cpp

Direct supertypes

BasicBlock

Indirect supertypes

Inherited predicates

contains	Holds if this basic block contains `node`.	from BasicBlock
getAFalseSuccessor	Gets a `BasicBlock` such that the control-flow edge `(this, result)` may be taken when the outgoing edge of this basic block is an expression that is false.	from BasicBlock
getANode	Gets a `ControlFlowNode` in this basic block.	from BasicBlock
getAPredecessor	Gets a `BasicBlock` that is a direct predecessor of this basic block.	from BasicBlock
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from ElementBase
getASuccessor	Gets a `BasicBlock` that is a direct successor of this basic block.	from BasicBlock
getATrueSuccessor	Gets a `BasicBlock` such that the control-flow edge `(this, result)` may be taken when the outgoing edge of this basic block is an expression that is true.	from BasicBlock
getEnclosingFunction	Gets the function containing this basic block.	from BasicBlock
getEnd	Gets the final `ControlFlowNode` of this basic block.	from BasicBlock
getNode	Gets the `ControlFlowNode` at position `pos` in this basic block.	from BasicBlock
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from ElementBase
getStart	Gets the first `ControlFlowNode` of this basic block.	from BasicBlock
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from BasicBlock
inLoop	Holds if this basic block is in a loop of the control-flow graph. This includes loops created by `goto` statements. This predicate may not hold even if this basic block is syntactically inside a `while` loop if the necessary back edges are unreachable.	from BasicBlock
isReachable	Holds if control flow may reach this basic block from a function entry point or any handler of a reachable `try` statement.	from BasicBlock
isUnreachable	Means `not isReachable()`.	from BasicBlock
length	Gets the number of `ControlFlowNode`s in this basic block.	from BasicBlock
toString	Gets a textual representation of this element.	from ElementBase

Charpred