Member predicate TranslatedExpr::TranslatedCoreExpr::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()