On Thu, Nov 13, 2008 at 10:57 PM, Ted Kremenek <[EMAIL PROTECTED]> wrote:
> > 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. > Hi Ted, I rewrite the code with an AnonTypedRegion created to attach type information to. Please review it. > >
anon.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
