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: [email protected]
Reporter: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
