CodeQL library for C/C++

codeql/cpp-all 10.1.0 (changelog, source)

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

AbstractSourceVariable

Indirect supertypes

TSourceVariable

Inherited fields

base		from AbstractSourceVariable
ind		from AbstractSourceVariable

Inherited predicates

getBaseVariable	Gets the base source variable (i.e., the variable without any indirections) of this source variable.	from AbstractSourceVariable
getIRVariable	Gets the IR variable associated with this `SourceVariable`, if any.	from AbstractSourceVariable
getIndirection	Gets the number of loads performed on the base source variable to reach the value of this source variable.	from AbstractSourceVariable
getLocation	Gets the location of this variable.	from AbstractSourceVariable
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 AbstractSourceVariable
isGLValue	Holds if this variable is a glvalue.	from AbstractSourceVariable
toString	Gets a textual representation of this element.	from AbstractSourceVariable

Charpred