Predicate pointer

The source is a pointer to the destination.

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate pointer(Element src, Element dest)