<div dir="ltr">Correct – failing to inline will not change the semantics of the code.<div><br></div><div>Whether or not something can be inlined is determined by LLVM (we're just calling its InlineFunction method). Looking through the ways it can return false (<a href="http://llvm.org/doxygen/InlineFunction_8cpp_source.html">http://llvm.org/doxygen/InlineFunction_8cpp_source.html</a>) my best guess is that it was trying to inline an external function. It might be useful to modify that "Inlining failed" message to print out what it was trying to inline, which could give you some clues as to why it failed.</div><div><br></div><div>Other plugins that use taint2 shouldn't have any effect on taint2's ability to inline. But, of course, it can only inline something that it has LLVM bitcode for, so you can't (for example) inline calls to your own functions (unless you compile them to LLVM).</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 19, 2018 at 9:52 AM, Manolis Stamatogiannakis <span dir="ltr"><<a href="mailto:mstamat@gmail.com" target="_blank">mstamat@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Hello,</div><div><br></div><div>I have a couple of questions about taint operations inlining. I have provided inline=y as an argument to taint2. However, all I get is a ton of "Inlining failed!" printouts.</div><div><br></div><div>If I understand correctly, this only means that a regular function call will be inserted instead. I.e. this is informational only, the correctness of the analysis you run is not affected. Is this right?</div><div><br></div><div>What could be preventing inlining of taint operations from working? Are there any restrictions when building plugins that use taint2 in order to allow for taint operations inlining?</div><div><br></div><div>Thanks,</div><div>Manolis</div><div></div></div>
<br>______________________________<wbr>_________________<br>
panda-users mailing list<br>
<a href="mailto:panda-users@mit.edu">panda-users@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/panda-users" rel="noreferrer" target="_blank">http://mailman.mit.edu/<wbr>mailman/listinfo/panda-users</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Brendan Dolan-Gavitt<br>Assistant Professor, Department of Computer Science and Engineering<br>NYU Tandon School of Engineering</div>
</div>