Member predicate TranslatedCoreExpr::isResultGLValue

Holds if the result of this TranslatedExpr is a glvalue.

predicate isResultGLValue()