Could we use a SymbolicRegion for temporaries as well? We currently associate many symbols with specific expressions, and can distinguish different symbolic values for the same expression along different loop iterations.
On Dec 20, 2009, at 10:41 PM, Zhongxing Xu <[email protected]> wrote: > 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
