Skip to content

Commit a97e4af

Browse files
committed
Fix handling of adjustment casts.
1 parent 7ec9601 commit a97e4af

File tree

1 file changed

+9
-5
lines changed
  • compiler/rustc_mir_transform/src

1 file changed

+9
-5
lines changed

compiler/rustc_mir_transform/src/gvn.rs

+9-5
Original file line numberDiff line numberDiff line change
@@ -561,18 +561,22 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
561561
.ok()?;
562562
dest.into()
563563
}
564-
CastKind::FnPtrToPtr
565-
| CastKind::PtrToPtr
566-
| CastKind::PointerCoercion(
564+
CastKind::FnPtrToPtr | CastKind::PtrToPtr => {
565+
let src = self.evaluated[value].as_ref()?;
566+
let src = self.ecx.read_immediate(src).ok()?;
567+
let to = self.ecx.layout_of(to).ok()?;
568+
let ret = self.ecx.ptr_to_ptr(&src, to).ok()?;
569+
ret.into()
570+
}
571+
CastKind::PointerCoercion(
567572
ty::adjustment::PointerCoercion::MutToConstPointer
568573
| ty::adjustment::PointerCoercion::ArrayToPointer
569574
| ty::adjustment::PointerCoercion::UnsafeFnPointer,
570575
) => {
571576
let src = self.evaluated[value].as_ref()?;
572577
let src = self.ecx.read_immediate(src).ok()?;
573578
let to = self.ecx.layout_of(to).ok()?;
574-
let ret = self.ecx.ptr_to_ptr(&src, to).ok()?;
575-
ret.into()
579+
ImmTy::from_immediate(*src, to).into()
576580
}
577581
_ => return None,
578582
},

0 commit comments

Comments
 (0)