Chris Lattner | f201495 | 2002-08-02 16:41:21 +0000 | [diff] [blame] | 1 | ; Dominator set calculation is not calculating dominators for unreachable |
2 | ; blocks. These blocks should at least dominate themselves. This is | ||||
3 | ; fouling up the verify pass. | ||||
4 | ; | ||||
Chris Lattner | c9b208c | 2006-08-27 22:44:20 +0000 | [diff] [blame] | 5 | ; RUN: llvm-as < %s | opt -analyze -domset | grep BB |
Chris Lattner | f201495 | 2002-08-02 16:41:21 +0000 | [diff] [blame] | 6 | |
7 | void %test() { | ||||
8 | ret void | ||||
9 | BB: | ||||
10 | ret void | ||||
11 | } |