summaryrefslogtreecommitdiffstats
path: root/src/test/codegen/noreturn-uninhabited.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/codegen/noreturn-uninhabited.rs')
-rw-r--r--src/test/codegen/noreturn-uninhabited.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/codegen/noreturn-uninhabited.rs b/src/test/codegen/noreturn-uninhabited.rs
deleted file mode 100644
index 49f93cf62..000000000
--- a/src/test/codegen/noreturn-uninhabited.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// compile-flags: -g -C no-prepopulate-passes
-
-#![crate_type = "lib"]
-
-#[derive(Clone, Copy)]
-pub enum EmptyEnum {}
-
-#[no_mangle]
-pub fn empty(x: &EmptyEnum) -> EmptyEnum {
- // CHECK: @empty({{.*}}) unnamed_addr #0
- // CHECK-NOT: ret void
- // CHECK: call void @llvm.trap()
- // CHECK: unreachable
- *x
-}
-
-pub struct Foo(String, EmptyEnum);
-
-#[no_mangle]
-pub fn foo(x: String, y: &EmptyEnum) -> Foo {
- // CHECK: @foo({{.*}}) unnamed_addr #0
- // CHECK-NOT: ret %Foo
- // CHECK: call void @llvm.trap()
- // CHECK: unreachable
- Foo(x, *y)
-}
-
-// CHECK: attributes #0 = {{{.*}} noreturn {{.*}}}
-
-// CHECK: DISubprogram(name: "empty", {{.*}} DIFlagNoReturn
-// CHECK: DISubprogram(name: "foo", {{.*}} DIFlagNoReturn