Predicate pointerToCompound
The values stored in src point to the compounds (destParent, destLabel).
Import path
import semmle.code.cpp.pointsto.PointsTopredicate pointerToCompound(Element destParent, string destLabel, Element src)The values stored in src point to the compounds (destParent, destLabel).
import semmle.code.cpp.pointsto.PointsTopredicate pointerToCompound(Element destParent, string destLabel, Element src)