diff options
| -rw-r--r-- | test/Other/2002-08-02-DomSetProblem.ll | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/Other/2002-08-02-DomSetProblem.ll b/test/Other/2002-08-02-DomSetProblem.ll new file mode 100644 index 0000000000..a6bf60a4b8 --- /dev/null +++ b/test/Other/2002-08-02-DomSetProblem.ll @@ -0,0 +1,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: analyze -domset %s | grep BB + +void %test() { + ret void +BB: + ret void +} |