Member predicate SsaDefinition::getDefiningValue
Gets the expression assigned to the SSA variable (this, v)
, if any,
when it is not a phi definition. The following is an exhaustive list of
expressions that may be the result of this predicate.
- The contained expression of an
Initializer
. - The right-hand side of an
AssignExpr
. - An
AssignOperation
. - A
CrementOperation
.
In all cases except PostfixCrementOperation
, the variable v
will be
equal to the result of this predicate after evaluation of
this.getDefinition()
.
If the SSA variable is defined in other ways than those four (such as
function parameters or f(&x)
) there is no result. These cases are
instead covered via definedByParameter
and getDefinition
,
respectively.