[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