Predicate anythingPointsTo
Holds if anything points to an element, that is, is equivalent to:
exists(PointsToExpr e | e.pointsTo() = elem)
Import path
import semmle.code.cpp.pointsto.PointsTopredicate anythingPointsTo(Element elem)Holds if anything points to an element, that is, is equivalent to:
exists(PointsToExpr e | e.pointsTo() = elem)
import semmle.code.cpp.pointsto.PointsTopredicate anythingPointsTo(Element elem)