Skip to content

Commit 67b711a

Browse files
committed
Rename assert_uninit_valid intrinsic
It's not about "uninit" anymore but about "filling with 0x01 bytes" so the name should at least try to reflect that.
1 parent 34336b8 commit 67b711a

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/intrinsics/mod.rs

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -713,7 +713,7 @@ fn codegen_regular_intrinsic_call<'tcx>(
713713
let res = CValue::by_val(swap(&mut fx.bcx, val), arg.layout());
714714
ret.write_cvalue(fx, res);
715715
}
716-
sym::assert_inhabited | sym::assert_zero_valid | sym::assert_uninit_valid => {
716+
sym::assert_inhabited | sym::assert_zero_valid | sym::assert_mem_uninitialized_valid => {
717717
intrinsic_args!(fx, args => (); intrinsic);
718718

719719
let layout = fx.layout_of(substs.type_at(0));
@@ -742,7 +742,9 @@ fn codegen_regular_intrinsic_call<'tcx>(
742742
return;
743743
}
744744

745-
if intrinsic == sym::assert_uninit_valid && !fx.tcx.permits_uninit_init(layout) {
745+
if intrinsic == sym::assert_mem_uninitialized_valid
746+
&& !fx.tcx.permits_uninit_init(layout)
747+
{
746748
with_no_trimmed_paths!({
747749
crate::base::codegen_panic(
748750
fx,

0 commit comments

Comments
 (0)