[cfe-commits] r58137 - in /cfe/trunk: include/clang/Analysis/PathSensitive/MemRegion.h lib/Analysis/MemRegion.cpp

Ted Kremenek kremenek at apple.com
Sun Oct 26 10:18:50 PDT 2008


On Oct 25, 2008, at 5:46 PM, Zhongxing Xu wrote:

> Hi Zhongxing,
>
> Can you tell me what your motivation was for implementing 'classof'  
> for AnonTypedRegion in this way?  This will return true if the  
> MemRegion is a VarRegion or a FieldRegion, but not if it is an  
> instance of AnonTypedRegion (!).  AnonTypedRegion is just meant to  
> be some lightweight layering on top of an existing region where we  
> want to add some typing information to a set of bytes.
>
> Hi Ted,
>
> This is not the classof implementation of AnonTypedRegion, but of  
> DeclRegion. It looks confusing in the patch. Please look at the  
> updated MemRegion.h.
>

You're right.  Thanks Zhongxing!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081026/62b77326/attachment.html>


More information about the cfe-commits mailing list