[cfe-commits] r59356 - /cfe/trunk/lib/Analysis/RegionStore.cpp

[Zhongxing Xu]

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?
>
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20081115/a09a0ff6/attachment.html>