This patch implements GRExprEngine::VisitInitListExpr(). CompoundValsData is added to BasicValue classes. I found it can represent recursive struct compound value, so we do not need to flatten struct init list values. (not implemented in this patch).
A full visit is done on each initializer bacause initializer can contain arbitrary expressions. But no state splitting is allowed. Reasons are: state splitting is rare in initializers, and implementing state splitting is not easy when visiting a unknown length sequence of expressions. I post this patch for review since it involves some heavy design. Thanks.
initlist.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
