diff options
| -rw-r--r-- | test/Verifier/2006-10-15-AddrLabel.ll | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/Verifier/2006-10-15-AddrLabel.ll b/test/Verifier/2006-10-15-AddrLabel.ll new file mode 100644 index 0000000000..7c68d94f67 --- /dev/null +++ b/test/Verifier/2006-10-15-AddrLabel.ll @@ -0,0 +1,9 @@ +; RUN: not llvm-as %s -o /dev/null -f && +; RUN: llvm-as %s -o /dev/null -f 2>&1 | grep 'Cannot form' + +int %main() { + %foo = call sbyte* %llvm.stacksave() + %foop = cast sbyte* %foo to label* + %nret = load label* %foop + br label %nret; +} |