From f49839ac30d616ceba6d46af4ecc94e80db21512 Mon Sep 17 00:00:00 2001 From: David Cook Date: Wed, 22 Apr 2020 07:09:20 -0500 Subject: [PATCH] Add comment --- src/shims/fs.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/shims/fs.rs b/src/shims/fs.rs index e7d41b36f5a6..ea0b998c2e3d 100644 --- a/src/shims/fs.rs +++ b/src/shims/fs.rs @@ -1084,6 +1084,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx Ok(-1) } } else { + // The file is not writable let einval = this.eval_libc("EINVAL")?; this.set_last_error(einval)?; Ok(-1)