CodeQL library for C/C++
Search

Class ExitBasicBlock

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

Import path

import cpp

Direct supertypes

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
getCanonicalQLClass

DEPRECATED: use getAPrimaryQlClass instead.

from ElementBase
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
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
isLoopHeader

DEPRECATED since version 1.11: this predicate does not match the standard definition of loop header.

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 ControlFlowNodes in this basic block.

from BasicBlock
toString

Gets a textual representation of this element.

from ElementBase

Charpred