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)
The values stored in src point to the compounds (destParent, destLabel).
import semmle.code.cpp.pointsto.PointsTo
predicate pointerToCompound(Element destParent, string destLabel, Element src)