Predicate aggInitExprsUpTo
Gets the hash cons of field initializer expressions [0..i), where i > 0, for
the class aggregate literal cal
of type c
, where head
is the hash cons
of the i’th initializer expression.
Import path
import semmle.code.cpp.valuenumbering.HashCons
HC_Fields aggInitExprsUpTo(ClassAggregateLiteral cal, Class c, int i)