<br><br><div class="gmail_quote">On Sat, Nov 15, 2008 at 1:28 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="Ih2E3d"><br>
On Nov 14, 2008, at 9:18 PM, Zhongxing Xu wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
-  // FIXME: Find a better way to get bit width.<br>
-  nonloc::ConcreteInt Idx(BasicVals.getValue(0, 32, false));<br>
+  nonloc::ConcreteInt Idx(BasicVals.getZeroWithPtrWidth(false));<br>
</blockquote>
<br></div>
Hi Zhongxing,<br>
<br>
Quick sanity check (for me): for which type are you trying to get the bitwidth?  Should it really be the width of a pointer?<br><font color="#888888">
<br>
Ted<br>
</font></blockquote></div><br>This is the zero index for the array being converted to pointer. I think array index should be the same width as the pointer.<br>