Predicate pointerFromCompound

The compound (parent, label) holds pointers to dest.

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate pointerFromCompound(Element parent, string label, Element dest)