Hello,<div><br></div><div>I need interprocedural alias analysis while I'm using GVN for infeasible path</div><div>analysis. So, I've tried "-steens-aa" from poolalloc project, but it doesn't seem</div>
<div>to be working as I expected. For example,</div><div><br></div><div>int global;</div><div><br></div><div>int bar(void) {</div><div>  return 5;</div><div>}</div><div><br></div><div>int foo(void) {</div><div>  int a;</div>
<div>  scanf("%d", &a);</div><div>  if(global) </div><div>    a = bar();</div><div>  return a;</div><div>}</div><div><br></div><div>In this case, I expected getModRefInfo() on the load instruction for 'global' and </div>
<div>the call instruction for 'bar()' in foo() yields "NoModRef", but it actually give "ModRef". </div><div><br></div><div>Am I understanding 'interprocedural' in wrong way? or making any mistake? </div>
<div>Or does '-steens-aa' have any problem?</div><div><br></div><div>I'm also curious if there is any ongoing project or plan to implement or improve </div><div>interprocedural alias analysis. </div><div><br></div>
<div>Thank you very much in advance.</div><div><br></div><div>Bests,</div><div>Hyoun Kyu Cho</div>