Comment

Co-authored-by: Ralf Jung <[email protected]>

src/shims/unix/fs.rs

@@ -322,6 +322,7 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> {
 
         if matches!(&*this.tcx.sess.target.os, "solaris" | "illumos") {
             let st_fstype = this.project_field_named(&buf, "st_fstype")?;
+            // This is an array; write 0 into first element so that it encodes the empty string.
             this.write_int(0, &this.project_index(&st_fstype, 0)?)?;
         }