; RUN: opt < %s -postdomfrontier -disable-output

define void @args_out_of_range() {
entry:
	br label %bb

bb:		; preds = %bb, %entry
	br label %bb
}

define void @args_out_of_range_3() {
entry:
	br label %bb

bb:		; preds = %bb, %entry
	br label %bb
}

define void @Feq() {
entry:
	br i1 false, label %cond_true, label %cond_next

cond_true:		; preds = %entry
	unreachable

cond_next:		; preds = %entry
	unreachable
}