<div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I have two more questions, but I think your patch looks good to apply right now (we can continue to iterate on details).<br>

<br>
First, is AnonPointeeRegion used now?  Scanning the patch I see no uses of it.  Do you plan on adding this later?</blockquote><div> </div><div>It's not used right now. It may be used later when we implement other Visit* logic, e.g., when we dereference a pointer argument. <br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
<br>
Second, the "unknown" region appears to be the same for any place it will be used (simply based on how getUnknownRegion() is implemented). Is this intentional?<br>
</blockquote></div><br>Not intentional. We can change its design when  necessary.<br></div>