<div dir="ltr">Got it, thank you Daniel, Have a nice day!</div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jul 17, 2015 at 11:05 AM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This is a statically undecidable problem, so yes, you must consider<br>
AA, and there can be nothing that provides an exact answer in all<br>
cases.<br>
<br>
There is nothing in LLVM that will help you, but folks have developed<br>
datastructures that can give fast answers to points-to and pointed-by<br>
queries:<br>
<a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__helloqirun.github.io_papers_pldi2014-5Fxiao.pdf&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=Mfk2qtn1LTDThVkh6-oGglNfMADXfJdty4_bhmuhMHA&m=Uu_FRXITaA-J1oSLVVzfiE3iNwZ3QJUY839kEQZNYdA&s=Apbwg0Mq81iak56xntR8pPq1BOvISOy3A0VnKPGPu7I&e=" rel="noreferrer" target="_blank">http://helloqirun.github.io/papers/pldi2014_xiao.pdf</a><br>
</blockquote></div><br></div>