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

Class DataFlowSecondLevelScope

A second-level control-flow scope in a switch or a chained if statement.

This is a switch case or a branch of a chained if statement, given that the switch or if statement is top level, that is, it is not nested inside other CFG constructs.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate

Direct supertypes

Predicates

getANode

Gets a data-flow node nested within this scope.

getLocation

Gets the primary location of this element.

toString

Gets a textual representation of this element.