So SymbolicRegion may better be used for regions returned from outside, like parameter or OS.
2009/12/22 Zhongxing Xu <[email protected]>: > My main concern is that SymbolicRegion carries another sense that the > region may be NULL. But temporaries can't be NULL. We have to add an > Assume() to tell that to the analyzer. > > 2009/12/22 Ted Kremenek <[email protected]>: >> 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
