On Sat, Oct 25, 2008 at 5:10 AM, Ted Kremenek <[EMAIL PROTECTED]> 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
> [email protected]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to