|
; 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
|
|
}
|