On Nov 12, 2008, at 11:58 PM, Zhongxing Xu wrote:

Author: zhongxingxu
Date: Thu Nov 13 01:58:20 2008
New Revision: 59232

URL: http://llvm.org/viewvc/llvm-project?rev=59232&view=rev
Log:
Lift the pointer to alloca'ed region to the pointer to its first element.
This is required by some operations, e.g., *p = 1; p[0] = 1;.
Also set the AllocaRegion's type during the cast.

+        // Set the AllocaRegion's type.
+        const_cast<AllocaRegion*>(AR)->setType(T);

Hi Zhongxing,

I don't think this is the way to go. MemRegions must be immutable. Moreover, this reasoning should not go in GRExprEngine.

Ted
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to