Predicate flowToCompound
There is a flow from src to the compound (destParent, destLabel).
Import path
import semmle.code.cpp.pointsto.PointsTopredicate flowToCompound(Element destParent, string destLabel, Element src)There is a flow from src to the compound (destParent, destLabel).
import semmle.code.cpp.pointsto.PointsTopredicate flowToCompound(Element destParent, string destLabel, Element src)