Predicate pointerFromCompound
The compound (parent, label) holds pointers to dest.
Import path
import semmle.code.cpp.pointsto.PointsTopredicate pointerFromCompound(Element parent, string label, Element dest)The compound (parent, label) holds pointers to dest.
import semmle.code.cpp.pointsto.PointsTopredicate pointerFromCompound(Element parent, string label, Element dest)