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

Class ReturnSuccessor

A return control flow successor.

Example:

void M()
{
    return;
}

The callable exit node of M is a return successor of the return; statement.

Import path

import codeql.controlflow.SuccessorType

Direct supertypes

Indirect supertypes

Predicates

toString

Gets a textual representation of this successor type.