diff options
Diffstat (limited to 'src/test/codegen/noreturn-uninhabited.rs')
-rw-r--r-- | src/test/codegen/noreturn-uninhabited.rs | 31 |
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 |