test/Other/2002-08-02-DomSetProblem.ll


1
2
3
4
5
6
7
8
9
10
11

; 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-as < %s | opt -analyze -domset | grep BB

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