On Sat, Nov 15, 2008 at 1:28 PM, Ted Kremenek <[EMAIL PROTECTED]> wrote:
> > On Nov 14, 2008, at 9:18 PM, Zhongxing Xu wrote: > > - // FIXME: Find a better way to get bit width. >> - nonloc::ConcreteInt Idx(BasicVals.getValue(0, 32, false)); >> + nonloc::ConcreteInt Idx(BasicVals.getZeroWithPtrWidth(false)); >> > > Hi Zhongxing, > > Quick sanity check (for me): for which type are you trying to get the > bitwidth? Should it really be the width of a pointer? > > Ted > This is the zero index for the array being converted to pointer. I think array index should be the same width as the pointer.
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
