Predicate flowFromCompound
There is a flow from the compound (parent, label) to dest.
Import path
import semmle.code.cpp.pointsto.PointsTopredicate flowFromCompound(Element parent, string label, Element dest)There is a flow from the compound (parent, label) to dest.
import semmle.code.cpp.pointsto.PointsTopredicate flowFromCompound(Element parent, string label, Element dest)