http://llvm.org/bugs/show_bug.cgi?id=6120
Summary: Call to noreturn pointer not marked noreturn
Product: clang
Version: unspecified
Platform: PC
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: LLVM Codegen
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Testcase:
void (*a)(void) __attribute((noreturn));
void b() { a(); }
Code generated by clang -O2:
define void @b() nounwind {
entry:
%tmp = load void ()** @a ; <void ()*> [#uses=1]
tail call void %tmp() nounwind
ret void
}
For comparison, code generated by llvm-gcc -O2:
define void @b() nounwind {
entry:
%0 = load void ()** @a, align 4 ; <void ()*> [#uses=1]
tail call void %0() noreturn nounwind
unreachable
}
--
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
