<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div>Hi, Arthur. I don't understand what you mean about the MemRegion for 'a'. 'a' is an integer variable, and when it's used in line 5 (not 3) you'll just get its value back, which will be 2. The expression "arr[a][1]" should give you an ElementRegion for "&arr[2][1]", but at that point 'a' isn't involved any more. Once a value is loaded from a variable (by an LValueToRValue implicit conversion), the variable isn't really interesting anymore. What are you actually trying to do?</div><div><br></div><div>Jordan</div><br><div><div>On May 7, 2014, at 5:09 , Arthur Yoo <<a href="mailto:phjy007@gmail.com">phjy007@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><p class="MsoNormal">Hi all,</p><p class="MsoNormal">I want to get the MemRegion representing an index of an
array in my checker. For example:</p><p class="MsoNormal">1 void func() {</p><p class="MsoNormal">2 int a, b,
arr[10][10];</p><p class="MsoNormal">3 a = 2;</p><p class="MsoNormal">4 b = 3;</p><p class="MsoNormal">3 arr[a][1] = 3;</p><p class="MsoNormal">4 }</p><div> <br class="webkit-block-placeholder"></div><p class="MsoNormal">In the CheckLocation() method for checking the store
operation at line 3 ‘<i>arr[a][1] = 3;</i>’,
I want to get the MemRegion and SVal of variable <i>a</i>, which is the index of the array. Is there any way to get the
corresponding MemRegion and SVal of variable <i>a. </i></p><p class="MsoNormal">My previous mail post on a related problem is <a href="http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-April/036205.html">http://lists.cs.uiuc.edu/pipermail/cfe-dev/2014-April/036205.html</a>.
Unfortunately, there was no reply or solution. In fact, this problem has
trapped me for several weeks. So I really need help.</p><p class="MsoNormal">Any help would be greatly appreciated.</p>
<div><br></div>-- <br><div dir="ltr"><font color="#444444">Best regards,</font><div><font color="#444444">Arthur Yoo</font></div></div>
</div>
_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev<br></blockquote></div><br></body></html>