<div dir="ltr">Hi all,<div><br></div><div>Recently, I've tried to update our project (SMACK verifier) from LLVM 3.7.1 to 3.8.1, and I run into problems updating our alias analysis class. In particular, it seems that alias analysis APIs and architecture changed a fair bit, and it also seems that the corresponding documentation was not updated:</div><div><a href="http://llvm.org/docs/AliasAnalysis.html">http://llvm.org/docs/AliasAnalysis.html</a><br></div><div><br></div><div>As an example, the mentioned function InitializeAliasAnalysis does not even exist in more recent LLVM sources (or at least I cannot find it).</div><div><br></div><div>I would greatly appreciate if someone could help out by briefly describing the new architecture of the alias analysis passes and how to properly set it up.</div><div><br></div><div>Thanks,</div><div>-- Zvonimir</div><div><br></div></div><div dir="ltr">-- <br></div><div data-smartmail="gmail_signature"><div dir="ltr"><div><a>http://zvonimir.info</a><br></div><a>http://soarlab.org</a><br></div></div>