Predicate TranslatedExpr::getTranslatedExpr

Gets the TranslatedExpr for the specified expression. If expr is a load, the result is the TranslatedExpr for the load portion.

TranslatedExpr getTranslatedExpr(Expr expr)