<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, Jul 26, 2016 at 3:05 PM Dounia Khaldi via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Thanks for your reply.</div><div><br></div>Yes, I was about to recurse over the use list of the argument in the called function. I did not want to pursue that because with this solution, I am going to implement the interprocedural part myself and was wondering if that was not already done. I was not also 100% sure that this will work for any type of arguments.<div><br></div><div>If, based on your response, this is my only solution then I will go for it. </div></div></blockquote><div><br></div><div>Yep.</div><div><br></div><div>And it should work for any kind of argument -- they're always SSA values.</div></div></div>