Member predicate TranslatedResultCopy::producesExprResult
Holds if this TranslatedExpr
produces the final result of the original
expression from the AST.
For example, in y = x;
, the TranslatedLoad for the VariableAccess x
produces the result of that VariableAccess expression, but the
TranslatedVariableAccess for x
does not. The TranslatedVariableAccess
for y
does produce its result, however, because there is no load on y
.
predicate producesExprResult()