[LLVMbugs] [Bug 17702] New: Verifier accepts landingpad's that cause llc to assert

[bugzilla-daemon at llvm.org]

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

            Bug ID: 17702
           Summary: Verifier accepts landingpad's that cause llc to assert
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Core LLVM classes
          Assignee: unassignedbugs at nondot.org
          Reporter: rafael.espindola at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

The verifier is happy with

--------------------------------------------
define linkonce_odr void @foo() noinline {
  ret void
}
define void @bar() {
bb0:
  invoke void @foo() to label %bb1 unwind label %clean
bb1:
  ret void
clean:
  landingpad i32 personality i8* null cleanup
  ret void
}
------------------------------------------

and with

--------------------------------------------
define linkonce_odr void @foo() noinline {
  ret void
}
define void @p() {
  ret void
}
define void @bar() {
bb0:
  invoke void @foo() to label %bb1 unwind label %clean
bb1:
  ret void
clean:
  landingpad i32 personality void ()* @p cleanup
  ret void
}
-------------------------------------------

but both cause llc to assert.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20131026/8febb54a/attachment.html>