diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-10 06:57:45 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-10 06:57:45 +0000 |
| commit | 317f59dfebb3ca584c4ab7c137208bbb23601eb2 (patch) | |
| tree | 4475de7055ec501bfa7d9789536894ddafe1dc6b /tests/codegen/enum/enum-aggregate.rs | |
| parent | a09cf9cc5a7fd4e2e19d937ef03bfeec34993a49 (diff) | |
| parent | 17b240e04f8d14e5563b6afb2ed3b842f87d1c78 (diff) | |
| download | rust-317f59dfebb3ca584c4ab7c137208bbb23601eb2.tar.gz rust-317f59dfebb3ca584c4ab7c137208bbb23601eb2.zip | |
Merge pull request #4458 from rust-lang/rustup-2025-07-10
Automatic Rustup
Diffstat (limited to 'tests/codegen/enum/enum-aggregate.rs')
| -rw-r--r-- | tests/codegen/enum/enum-aggregate.rs | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/tests/codegen/enum/enum-aggregate.rs b/tests/codegen/enum/enum-aggregate.rs index b6a9b8dd814..0161e5f3fa1 100644 --- a/tests/codegen/enum/enum-aggregate.rs +++ b/tests/codegen/enum/enum-aggregate.rs @@ -112,17 +112,14 @@ fn make_uninhabited_err_indirectly(n: Never) -> Result<u32, Never> { #[no_mangle] fn make_fully_uninhabited_result(v: u32, n: Never) -> Result<(u32, Never), (Never, u32)> { - // We don't try to do this in SSA form since the whole type is uninhabited. + // Actually reaching this would be UB, so we don't actually build a result. // CHECK-LABEL: { i32, i32 } @make_fully_uninhabited_result(i32 %v) - // CHECK: %[[ALLOC_V:.+]] = alloca [4 x i8] - // CHECK: %[[RET:.+]] = alloca [8 x i8] - // CHECK: store i32 %v, ptr %[[ALLOC_V]] - // CHECK: %[[TEMP_V:.+]] = load i32, ptr %[[ALLOC_V]] - // CHECK: %[[INNER:.+]] = getelementptr inbounds i8, ptr %[[RET]] - // CHECK: store i32 %[[TEMP_V]], ptr %[[INNER]] - // CHECK: call void @llvm.trap() - // CHECK: unreachable + // CHECK-NEXT: start: + // CHECK-NEXT: call void @llvm.trap() + // CHECK-NEXT: call void @llvm.trap() + // CHECK-NEXT: call void @llvm.trap() + // CHECK-NEXT: unreachable Ok((v, n)) } |