<div dir="ltr">Hi,<div style>I'm developing a checker for internal purpose were i need to track when Mem region corresponding to a class object gets invalidated. For example in the code below</div><div style><br></div>
<div style>class A {</div><div style>public:</div><div style>void myConstruct() {};</div><div style>};</div><div style><br></div><div style>void fun() {</div><div style>  A a;<br></div><div style>  a. Construct();</div><div style>
  return;</div><div style>}</div><div style><br></div><div style>int main() {</div><div style>  fun();<br></div><div style>  return 0;</div><div style>}</div><div style><br></div><div style>the memoryRegion for class A's instance a gets invalidated as soon as we return from fun() but i'm currently not getting checkRegionChanges corresponding to this event. ( I'm using getCXXThisVal().getAsRegion() to get the MemRegion corresponding to instance a.</div>
<div style><br></div><div style>I also tried to using symbol corresponding to it (i.e getCXXThisVal().getAsSymbol()) but it always returns NULL.</div><div style><br></div><div style>Could anyone guide me how can i track that MemRegion corresponding to a has been invalidated after the fun returns?</div>
<div style><br></div><div style>Thanks</div><div style>Karthik</div></div>