| ; RUN: opt -disable-output -objc-arc-contract < %s | |
| ; test that we don't crash on unreachable code | |
| %2 = type opaque | |
| define void @_i_Test__foo(%2 *%x) { | |
| entry: | |
| unreachable | |
| return: ; No predecessors! | |
| %bar = bitcast %2* %x to i8* | |
| %foo = call i8* @objc_autoreleaseReturnValue(i8* %bar) nounwind | |
| call void @callee() | |
| call void @use_pointer(i8* %foo) | |
| call void @objc_release(i8* %foo) nounwind | |
| ret void | |
| } | |
| declare i8* @objc_autoreleaseReturnValue(i8*) | |
| declare void @objc_release(i8*) | |
| declare void @callee() | |
| declare void @use_pointer(i8*) |