<div dir="ltr"><div><div>Hello everyone!<br><br>I want to check that 'this' is binded to x, the code is blow:<br><br>struct X {<br>  X() {<br>    X* x = this;<br>  }<br>};<br><br>I dumped the exploded graph, the live expression of x is blow:<br>    (0x66ab5b0,0x667a9c0) x : &SymRegion{reg_$0<struct X * this>}<br><br>But I'm not sure how to recognize programmatically that this is a symbolic region for a <i><code>this</code></i> pointer. I thought that maybe I could <code>use isa<CXXThisRegion>()</code> method, but it turns out that the <code>SymbolicRegion</code> and <code>CXXThisRegion</code> don't share the same<br>inheritance chain.<br><br></div>Look forward to your help!<br></div>Xin<br></div>