Update src/intptrcast.rs

carbotaniuman · RalfJung · carbotaniuman · commit f71a9cc70852 · 2022-05-21T11:44:28.000-05:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/intptrcast.rs b/src/intptrcast.rs
@@ -44,7 +44,7 @@ impl GlobalStateInner {
 }
 
 impl<'mir, 'tcx> GlobalStateInner {
-    // Returns the `AllocId` that corresponds to the specified addr,
+    // Returns the exposed `AllocId` that corresponds to the specified addr,
     // or `None` if the addr is out of bounds
     fn alloc_id_from_addr(ecx: &MiriEvalContext<'mir, 'tcx>, addr: u64) -> Option<AllocId> {
         let global_state = ecx.machine.intptrcast.borrow();

Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ impl GlobalStateInner {`
`44`	`44`	`}`
`45`	`45`
`46`	`46`	`impl<'mir, 'tcx> GlobalStateInner {`
`47`		- // Returns the `AllocId` that corresponds to the specified addr,
	`47`	+ // Returns the exposed `AllocId` that corresponds to the specified addr,
`48`	`48`	// or `None` if the addr is out of bounds
`49`	`49`	`fn alloc_id_from_addr(ecx: &MiriEvalContext<'mir, 'tcx>, addr: u64) -> Option<AllocId> {`
`50`	`50`	`let global_state = ecx.machine.intptrcast.borrow();`