Update src/librustc_mir/interpret/place.rs

oli-obk · RalfJung · web-flow · commit e632940a41fe · 2020-01-09T10:56:05.000+01:00
Co-Authored-By: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/librustc_mir/interpret/place.rs b/src/librustc_mir/interpret/place.rs
@@ -182,6 +182,7 @@ impl<'tcx, Tag> MPlaceTy<'tcx, Tag> {
     pub fn dangling(layout: TyLayout<'tcx>, cx: &impl HasDataLayout) -> Self {
         let align = layout.align.abi;
         let ptr = Scalar::from_uint(align.bytes(), cx.pointer_size());
+        // `Poison` this to make sure that the pointer value `ptr` is never observable by the program.
         MPlaceTy { mplace: MemPlace { ptr, align, meta: MemPlaceMeta::Poison }, layout }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -182,6 +182,7 @@ impl<'tcx, Tag> MPlaceTy<'tcx, Tag> {`
`182`	`182`	`pub fn dangling(layout: TyLayout<'tcx>, cx: &impl HasDataLayout) -> Self {`
`183`	`183`	`let align = layout.align.abi;`
`184`	`184`	`let ptr = Scalar::from_uint(align.bytes(), cx.pointer_size());`
	`185`	+ // `Poison` this to make sure that the pointer value `ptr` is never observable by the program.
`185`	`186`	`MPlaceTy { mplace: MemPlace { ptr, align, meta: MemPlaceMeta::Poison }, layout }`
`186`	`187`	`}`
`187`	`188`