[cfe-commits] r119341 - /cfe/trunk/lib/Checker/GRCXXExprEngine.cpp

Zhongxing Xu xuzhongxing at gmail.com
Wed Nov 17 00:36:10 PST 2010


On Tue, Nov 16, 2010 at 4:50 PM, Marcin Swiderski
<marcin.sfider at gmail.com>wrote:

> Author: sfider
> Date: Tue Nov 16 02:50:38 2010
> New Revision: 119341
>
> URL: http://llvm.org/viewvc/llvm-project?rev=119341&view=rev
> Log:
> Refactored GRExprEngine::getCXXThisRegion to use CXXMethodDecl::getThisType
> instead of calculating it by hand.
>

Please don't do this for now. CXXMethodDecl::getThisType() takes qualifiers
into account. But in the analyzer, we sometimes analyze methods in
isolation. So we always use unqualified type.


>
> Modified:
>    cfe/trunk/lib/Checker/GRCXXExprEngine.cpp
>
> Modified: cfe/trunk/lib/Checker/GRCXXExprEngine.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/GRCXXExprEngine.cpp?rev=119341&r1=119340&r2=119341&view=diff
>
> ==============================================================================
> --- cfe/trunk/lib/Checker/GRCXXExprEngine.cpp (original)
> +++ cfe/trunk/lib/Checker/GRCXXExprEngine.cpp Tue Nov 16 02:50:38 2010
> @@ -66,8 +66,7 @@
>
>  const CXXThisRegion *GRExprEngine::getCXXThisRegion(const CXXRecordDecl
> *D,
>                                                  const StackFrameContext
> *SFC) {
> -  Type *T = D->getTypeForDecl();
> -  QualType PT = getContext().getPointerType(QualType(T, 0));
> +  QualType PT = D->getThisType(getContext());
>   return ValMgr.getRegionManager().getCXXThisRegion(PT, SFC);
>  }
>
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101117/4d6a4a6c/attachment.html>


More information about the cfe-commits mailing list