New testcase
[oota-llvm.git] / test / Analysis / Dominators / 2003-05-12-UnreachableCode.ll
1 ; RUN: analyze %s -domset -disable-verify
2 ;
3 int %re_match_2() {
4 ENTRY:
5         br label %loopexit.20
6 loopentry.20:
7         br label %loopexit.20
8
9 loopexit.20:
10         ret int 0
11
12 endif.46:   ; UNREACHABLE
13         br label %loopentry.20
14
15 }