<div dir="ltr">I'm starting to play around with flow- and context- sensitive AA implementations.  I thought it would be interesting to try fitting one into LLVM's AA framework.<div><div><br class="">Should I assume that to support flow-/context-sensitive AA queries, I'll need to define my own AA API, rather than supporting "llvm::AliasAnalysis"?</div></div><div><br></div><div>The AA doc ( <a href="http://llvm.org/docs/AliasAnalysis.html">http://llvm.org/docs/AliasAnalysis.html</a> ) seems to indicate that the API (or its implementations?) don't support flow-sensitive analysis.  I also don't see any obvious way for the API to let clients ask context-sensitive questions.</div><div><br></div><div>I also looked at the poolalloc docs (Section 4 of those doc's Latex DSA manual), and my impression is that they too ended up providing their own API rather than implementing "llvm::AliasAnalysis".</div><div><div><br></div></div><div>Thanks,</div><div>Christian </div></div>