<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Nov 15, 2010, at 3:52 PM, Marcin Świderski wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div class="gmail_quote">W dniu 16 listopada 2010 00:44 użytkownik Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> napisał:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Marcin,<br>
<br>
What is this memory region used for? There are no comments above the declaration of this class, so I'm having difficulty interpreting its intended use.<br>
<div><div></div><div class="h5"><br>
On Nov 15, 2010, at 3:42 PM, Marcin Świderski wrote:<br>
<br>
> Patch adds new MemRegion subclass CXXDummyThisObjectRegion, which is used to initialize CXXThisRegion value for initial stack frame.<br>
><br>
> Please aprove for commit.<br>
><br>
> -Marcin<br>
</div></div>> <gr-eng-cxx-dummy-this-obj.patch><br>
<br></blockquote><div>Hi Ted</div><div> </div></div>In general it's used for identifing object pointed with 'this' in analyzed method. I use it for checking in ctor/dtor if method is called on 'this'. I can write some comment for it before commiting.
</blockquote></div><br><div>Why not use a symbolic region for the value of 'this'? Why do we need a new type of memory region? We can just have RegionStore::Retrieve() map from 'this' to a SymbolicRegion (or one wrapped with an ElementRegion that adds the typing information).</div></body></html>