[cfe-commits] r58110 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Zhongxing Xu]

On Sat, Oct 25, 2008 at 5:10 AM, Ted Kremenek <kremenek at apple.com> wrote:

> Author: kremenek
> Date: Fri Oct 24 16:10:49 2008
> New Revision: 58110
>
> URL: http://llvm.org/viewvc/llvm-project?rev=58110&view=rev
> Log:
> Implicit conversions from arrays can also be conversions to references
> (will add a test case shortly).


Hi Ted,

Could you please point me to the test cast for this? Thanks.


>
>
> Modified:
>    cfe/trunk/lib/Analysis/GRExprEngine.cpp
>
> Modified: cfe/trunk/lib/Analysis/GRExprEngine.cpp
> URL:
> http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRExprEngine.cpp?rev=58110&r1=58109&r2=58110&view=diff
>
>
> ==============================================================================
> --- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
> +++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Fri Oct 24 16:10:49 2008
> @@ -1507,7 +1507,7 @@
>
>     // StoreManager casts array to different values.
>     if (ExTy->isArrayType()) {
> -      assert(T->isPointerType());
> +      assert(T->isPointerType() || T->isReferenceType());
>
>       V = StateMgr.ArrayToPointer(V);
>       MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));
>
>
> _______________________________________________
> 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/20081114/3a28150e/attachment.html>