[cfe-commits] r91535 - in /cfe/trunk: include/clang/Analysis/PathSensitive/GRExprEngine.h include/clang/Analysis/PathSensitive/MemRegion.h include/clang/Analysis/PathSensitive/Store.h lib/Analysis/GRExprEngine.cpp lib/Analysis/MemRegion.cpp lib/A

Zhongxing Xu xuzhongxing at gmail.com
Sun Dec 20 22:41:34 PST 2009


2009/12/17 Ted Kremenek <kremenek at apple.com>:
> 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.




More information about the cfe-commits mailing list