; Dominator set calculation is not calculating dominators for unreachable 
; blocks.  These blocks should at least dominate themselves.  This is 
; fouling up the verify pass.
;
; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -domset | grep BB

void %test() {
	ret void
BB:
	ret void
}