diff options
| author | Michael Goulet <michael@errs.io> | 2023-02-14 00:59:40 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-02-14 22:37:30 +0000 |
| commit | b096f0e0f01f9cc1f13d4d664fda93f9efe95485 (patch) | |
| tree | 69998dffe386a7b1b5d54475f7125b7ae0e7547b /compiler/rustc_codegen_cranelift/src/intrinsics | |
| parent | 087a0136d01d0ee05d4e8c5e91f2e01978244a67 (diff) | |
| download | rust-b096f0e0f01f9cc1f13d4d664fda93f9efe95485.tar.gz rust-b096f0e0f01f9cc1f13d4d664fda93f9efe95485.zip | |
Make permit_uninit/zero_init fallible
Diffstat (limited to 'compiler/rustc_codegen_cranelift/src/intrinsics')
| -rw-r--r-- | compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs b/compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs index 892e7c30e2f..0d2367c2f83 100644 --- a/compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs +++ b/compiler/rustc_codegen_cranelift/src/intrinsics/mod.rs @@ -640,7 +640,8 @@ fn codegen_regular_intrinsic_call<'tcx>( sym::assert_inhabited | sym::assert_zero_valid | sym::assert_mem_uninitialized_valid => { intrinsic_args!(fx, args => (); intrinsic); - let layout = fx.layout_of(substs.type_at(0)); + let ty = substs.type_at(0); + let layout = fx.layout_of(ty); if layout.abi.is_uninhabited() { with_no_trimmed_paths!({ crate::base::codegen_panic_nounwind( @@ -653,7 +654,10 @@ fn codegen_regular_intrinsic_call<'tcx>( } if intrinsic == sym::assert_zero_valid - && !fx.tcx.permits_zero_init(fx.param_env().and(layout)) + && !fx + .tcx + .permits_zero_init(fx.param_env().and(ty)) + .expect("expected to have layout during codegen") { with_no_trimmed_paths!({ crate::base::codegen_panic_nounwind( @@ -669,7 +673,10 @@ fn codegen_regular_intrinsic_call<'tcx>( } if intrinsic == sym::assert_mem_uninitialized_valid - && !fx.tcx.permits_uninit_init(fx.param_env().and(layout)) + && !fx + .tcx + .permits_uninit_init(fx.param_env().and(ty)) + .expect("expected to have layout during codegen") { with_no_trimmed_paths!({ crate::base::codegen_panic_nounwind( |