<div style="font-family: arial, helvetica, sans-serif; font-size: 10pt"><br><br><div class="gmail_quote">On Wed, Nov 28, 2012 at 8:05 PM, Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr" target="_blank">baldrick@free.fr</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Kostya,<div><div class="h5"><br>
<br>
On 28/11/12 14:47, Kostya Serebryany wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
Building the following C code I get a call instruction that has no noreturn<br>
attribute, while the function itself does have it.<br>
<br>
void foo(void **b) {<br>
   __builtin_longjmp(b, 1);<br>
}<br>
<br>
<br>
define void @_Z3fooPPv(i8** %b) noreturn nounwind uwtable {<br>
entry:<br>
   %0 = bitcast i8** %b to i8*<br>
   tail call void @llvm.eh.sjlj.longjmp(i8* %0)<br>
<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<u></u><<<<<<<br>
   unreachable<br>
}<br>
<br>
declare void @llvm.eh.sjlj.longjmp(i8*) noreturn nounwind  <<<<<<<<<<<<<<<<<<br>
<br>
<br>
I've hit this in asan where it checks the noreturn attribute in the call<br>
instruction, but not in the function object.<br>
Who is wrong here? Should asan also check noreturn in the called function?<br>
</blockquote>
<br></div></div>
I think you should consider the call no-return if either the call or the<br>
callee has the no-return attribute.<br></blockquote><div><br></div><div>Thanks, I've fixed this in asan pass. </div><div><br></div><div>--kcc </div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<br>
Ciao, Duncan.<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
Thanks,<br>
<br>
--kcc<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/llvmdev</a><br>
<br>
</blockquote>
<br>
______________________________<u></u>_________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/<u></u>mailman/listinfo/llvmdev</a><br>
</blockquote></div><br></div>