[cfe-commits] r59356 - /cfe/trunk/lib/Analysis/RegionStore.cpp
xuzhongxing at gmail.com
Fri Nov 14 22:19:43 PST 2008
On Sat, Nov 15, 2008 at 1:28 PM, Ted Kremenek <kremenek at apple.com> 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?
This is the zero index for the array being converted to pointer. I think
array index should be the same width as the pointer.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-commits