diff options
| author | Chris Lattner <sabre@nondot.org> | 2004-10-16 18:24:11 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2004-10-16 18:24:11 +0000 |
| commit | 9bbcf09431cd203239de81b07f948c9537591e6d (patch) | |
| tree | 2710d451be82f0685a6a02414ed69646b287fbca /test/Feature/unreachable.ll | |
| parent | 9270efcc5fe730b6af7caf4857bdcf0193dcf5b7 (diff) | |
| download | llvm-9bbcf09431cd203239de81b07f948c9537591e6d.tar.gz llvm-9bbcf09431cd203239de81b07f948c9537591e6d.tar.bz2 llvm-9bbcf09431cd203239de81b07f948c9537591e6d.tar.xz | |
testcases for undefined and unreachable
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17058 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Feature/unreachable.ll')
| -rw-r--r-- | test/Feature/unreachable.ll | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/Feature/unreachable.ll b/test/Feature/unreachable.ll new file mode 100644 index 0000000000..84c4552a62 --- /dev/null +++ b/test/Feature/unreachable.ll @@ -0,0 +1,13 @@ + +implementation + +declare void %bar() + +int %foo() { ;; Calling this function has undefined behavior + unreachable +} + +double %xyz() { + call void %bar() + unreachable ;; Bar must not return. +} |