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

class MyPointsTo extends PointsToExpr {
  override predicate interesting() { any() }
}

from MyPointsTo new, Element loc
where new.pointsTo() = loc
select new, loc