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

Class IteratorFlow::SourceVariable

A variable of some type that can produce an iterator.

Import path

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

Direct supertypes

Indirect supertypes

Inherited fields

Inherited predicates

getBaseVariable

Gets the base source variable (i.e., the variable without any indirections) of this source variable.

from SourceVariable
getIRVariable

Gets the IR variable associated with this SourceVariable, if any.

from SourceVariable
getIndirection

Gets the number of loads performed on the base source variable to reach the value of this source variable.

from SourceVariable
getLocation

Gets the location of this variable.

from SourceVariable
getType

Gets the type of this source variable. If isGLValue() holds, then the type of this source variable should be thought of as “pointer to getType()”.

from SourceVariable
isGLValue

Holds if this variable is a glvalue.

from SourceVariable
toString

Gets a textual representation of this element.

from SourceVariable

Charpred