<div dir="ltr">Hello,<div><br></div><div>I am trying to implement inter-procedural alias analysis using CFLAliasAnalysis pass. I am using llvm-3.8.0 version.<br><div><div>I tried to use query function of this pass. I passed memory locations of two store instructions of two different local variables from two different functions. These two locations will not alias. </div><div><br></div><div>But unfortunately, I get an assertion failed message:</div><div>"Interprocedural queries not supported."<br></div><div><br></div><div>I tried debugging this assertion failed message. It is generated from file CFLAliasAnalysis.cpp in query function.</div><div><br></div><div>assert((!MaybeFnB.hasValue() || *MaybeFnB == *MaybeFnA) &&<br></div><div><br></div><div><a href="http://llvm.org/docs/doxygen/html/CFLAliasAnalysis_8cpp_source.html">http://llvm.org/docs/doxygen/html/CFLAliasAnalysis_8cpp_source.html<br></a></div><div><br></div><div>In my understanding, CFLAA should allows inter-procedural alias analysis. However, this assertion seems to be contradicting and stops it from executing inter-procedural alias analysis. What am I missing ? Could you please guide me as to how I can use it for inter-procedural alias analysis ?</div><div><br></div><div>Thanks in advance !!<br></div>-- <br><div class="gmail_signature"><div dir="ltr"><b>Arun Tewatia</b><br></div></div>
</div></div></div>