[LLVMbugs] [Bug 6120] New: Call to noreturn pointer not marked noreturn

[bugzilla-daemon at cs.uiuc.edu]

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: unassignedclangbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: llvmbugs at cs.uiuc.edu


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.