1 ; Test that if an invoked function is inlined, and if that function cannot
2 ; throw, that the dead handler is now unreachable.
4 ; RUN: as < %s | opt -inline -simplifycfg | dis | not grep UnreachableExceptionHandler
6 declare void %might_throw()
10 internal int %callee() {
11 invoke void %might_throw() to label %cont except label %exc
15 ; This just consumes the exception!
19 ; caller returns true if might_throw throws an exception...
21 %X = invoke int %callee() to label %cont
22 except label %UnreachableExceptionHandler
25 UnreachableExceptionHandler:
26 ret int -1 ; This is dead!