Looks great Zhongxing. Just one comment (inline).
On Oct 22, 2008, at 8:10 PM, Zhongxing Xu wrote:
> --- cfe/trunk/lib/Analysis/GRExprEngine.cpp (original)
> +++ cfe/trunk/lib/Analysis/GRExprEngine.cpp Wed Oct 22 22:10:39 2008
> @@ -1503,9 +1503,15 @@
> MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));
> continue;
> }
> -
> +
> + // StoreManager casts array to different values.
> + if (ExTy->isArrayType()) {
Should we put an assertion here that the CastE->getType() is a pointer?
>
> + V = StateMgr.ArrayToPointer(V);
> + MakeNode(Dst, CastE, N, SetSVal(St, CastE, V));
> + continue;
> + }
> +
> // All other cases.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
