2009/12/17 Ted Kremenek <[email protected]>: > Hi Zhongxing, > > How do we plan on using CXXObjectRegion? > > For stack allocated objects, we will use VarRegions. For heap allocated > (e.g., 'new'), we will use SymbolicRegions. For fields that are C++ objects > we will use FieldRegions.
I got another potential usage for CXXObjectRegion: for CXXTemporaryObjectExpr. It's not a varregion, not a symbolic region. _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
