recover deleted comment

JOE1994 · JOE1994 · commit 2e0bda8ae43c · 2020-03-20T17:56:15.000-04:00
diff --git a/src/shims/env.rs b/src/shims/env.rs
@@ -63,6 +63,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         let name = this.read_os_str_from_target_str(name_ptr)?;
         Ok(match this.machine.env_vars.map.get(&name) {
             Some(var_ptr) => {
+                // The offset is used to strip the "{name}=" part of the string.
                 Scalar::from(var_ptr.offset(Size::from_bytes(u64::try_from(name.len()).unwrap().checked_add(1).unwrap()), this)?)
             }
             None => Scalar::ptr_null(&*this.tcx),

Original file line number	Diff line number	Diff line change
`@@ -63,6 +63,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`63`	`63`	`let name = this.read_os_str_from_target_str(name_ptr)?;`
`64`	`64`	`Ok(match this.machine.env_vars.map.get(&name) {`
`65`	`65`	`Some(var_ptr) => {`
	`66`	`+ // The offset is used to strip the "{name}=" part of the string.`
`66`	`67`	`Scalar::from(var_ptr.offset(Size::from_bytes(u64::try_from(name.len()).unwrap().checked_add(1).unwrap()), this)?)`
`67`	`68`	`}`
`68`	`69`	`None => Scalar::ptr_null(&*this.tcx),`