Predicate pointerToCompound

The values stored in src point to the compounds (destParent, destLabel).

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate pointerToCompound(Element destParent, string destLabel, Element src)