[cfe-commits] r66655 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

[Ted Kremenek]

Zhongxing,

I verified that this patch was correct.  It just need 'isBoundable()'  
to be changed as well:

http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20090309/013797.html


On Mar 11, 2009, at 2:10 AM, Zhongxing Xu wrote:

> Author: zhongxingxu
> Date: Wed Mar 11 04:10:39 2009
> New Revision: 66655
>
> URL: http://llvm.org/viewvc/llvm-project?rev=66655&view=rev
> Log:
> The RValueType of a TypedViewRegion should be the pointee type.
>
> Modified:
>    cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
>
> Modified: cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h?rev=66655&r1=66654&r2=66655&view=diff
>
> = 
> = 
> = 
> = 
> = 
> = 
> = 
> = 
> ======================================================================
> --- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h  
> (original)
> +++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Wed  
> Mar 11 04:10:39 2009
> @@ -252,7 +252,9 @@
>   void print(llvm::raw_ostream& os) const;
>
>   QualType getRValueType(ASTContext&) const {
> -    return T;
> +    const PointerType* PTy = T->getAsPointerType();
> +    assert(PTy);
> +    return PTy->getPointeeType();
>   }
>
>   void Profile(llvm::FoldingSetNodeID& ID) const {
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits