Predicate childrenByElement
The same as children(), except that the label is an element.
Import path
import semmle.code.cpp.pointsto.PointsTopredicate childrenByElement(int parentset, Element label, int childset)The same as children(), except that the label is an element.
import semmle.code.cpp.pointsto.PointsTopredicate childrenByElement(int parentset, Element label, int childset)