Class SourceVariables::SavedPostfixCrementSourceVariable

Before a value is postfix incremented (or decremented) we “save” its current value so that the pre-incremented value can be returned to the enclosing expression. We use the source variables represented by this class to represent the “saved value”.

Import path

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

Direct supertypes

Indirect supertypes

TSourceVariable

Fields

store

Inherited fields

base		from AbstractSourceVariable
ind		from AbstractSourceVariable

Predicates

getOperand	Gets the fully converted `Operand` that represents the use of the value before the increment.
getStoreInstruction	Gets the `StoreInstruction` that writes the incremented (or decremented) value.
toString	Gets a textual representation of this element.

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

Charpred

SavedPostfixCrementSourceVariable