; RUN: opt < %s -ssi-everything -disable-output

declare fastcc i32 @ras_Empty(i8** nocapture) nounwind readonly

define i32 @cc_Tautology() nounwind {
entry:
	unreachable

cc_InitData.exit:		; No predecessors!
	%0 = call fastcc i32 @ras_Empty(i8** undef) nounwind		; <i32> [#uses=1]
	%1 = icmp eq i32 %0, 0		; <i1> [#uses=1]
	br i1 %1, label %bb2, label %bb6

bb2:		; preds = %cc_InitData.exit
	unreachable

bb6:		; preds = %cc_InitData.exit
	ret i32 undef
}