<div dir="ltr">It seems that<i> evalBinOp() </i>will do the related things.<i> evalBinOp()</i> also calls <i>evalBinOpLN()</i> and evalBinOpNN().</div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/10/30 Arthur Yoo <span dir="ltr"><<a href="mailto:phjy007@gmail.com" target="_blank">phjy007@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">
















<p class="MsoNormal">Hi all,</p><p class="MsoNormal"><br></p>

<p class="MsoNormal">ElementRegion has a field named <i>Index (NoLoc) </i>to record the index of that Array Element. We can
also use pointer offset operation to calculate a new index and get the
corresponding array element. For example:</p>

<p class="MsoNormal">1 void func() {</p>

<p class="MsoNormal">2    int arr[10];</p>

<p class="MsoNormal">3     int *ptr, *ptr2;</p>

<p class="MsoNormal">4     ptr = arr;</p>

<p class="MsoNormal">5     ptr = ptr + 3;</p>

<p class="MsoNormal">6     *ptr = 9;</p>

<p class="MsoNormal">7     ptr2 = ptr + 1;</p>

<p class="MsoNormal">8     *ptr2 = 10;</p>

<p class="MsoNormal">9 }</p><p class="MsoNormal"><br></p>

<p class="MsoNormal">Line 5 shows the pointer offset operation. I dumped the
information of the pointee MemRegion referenced by ptr, the Static Analyzer gave
me such result: element{arr,3 S32b,int}. That means after the pointer offset
operation by line 5, the ptr’s pointee MemRegion became an ElementRegion of
arr[], which index was <i>3 S32b</i>. The
line 7’s effect is same, it showed me element{arr,4 S32b,int}. Obviously, after
the pointer offset operation, the ElementRegion’s Index will be changed. I want
to know where are the methods that handle the Element Region’s index in pointer
offset operation. Cause I want to find these methods and add some codes into
them. </p><p class="MsoNormal">Thanks a lot.</p><span class="HOEnZb"><font color="#888888">

<div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</font></span></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">ÔÀ¼ÑÔ² | Yue Jiayuan | Arthur Yoo</font></div></div>
</div>