From a6746ad893c7f6cbcb367276534e329110e75d83 Mon Sep 17 00:00:00 2001 From: David Cook Date: Wed, 2 Sep 2020 20:58:41 -0500 Subject: [PATCH] Add comment --- src/helpers.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/helpers.rs b/src/helpers.rs index f56818726235..39af9d3143aa 100644 --- a/src/helpers.rs +++ b/src/helpers.rs @@ -401,6 +401,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx if let Some(errno_place) = this.active_thread_ref().last_error { Ok(errno_place) } else { + // Allocate new place, set initial value to 0. let errno_layout = this.machine.layouts.u32; let errno_place = this.allocate(errno_layout, MiriMemoryKind::Machine.into()); this.write_scalar(Scalar::from_u32(0), errno_place.into())?;