[LLVMbugs] [Bug 1796] New: Optimizer doesn't insert unreachable after noreturn call

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=1796

           Summary: Optimizer doesn't insert unreachable after noreturn call
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: sharparrow1 at yahoo.com
                CC: llvmbugs at cs.uiuc.edu


declare void @Finisher(i32) noreturn

define void @YYY(i32) {
  tail call void @Finisher(i32 %0) noreturn
  tail call void @Finisher(i32 %0) noreturn
  ret void
}

is left untouched by opt -std-compile-opts.  YYY should be optimized to:

tail call void @Finisher(i32 %0) noreturn
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.