import cpp
import semmle.code.cpp.pointsto.PointsTo

class ReturnPT extends PointsToExpr {
  override predicate interesting() {
    this instanceof VariableAccess and
    this.getParent() instanceof ReturnStmt
  }
}

from ReturnPT return
select return, return.pointsTo()