do not set the file type to an error code

RalfJung · RalfJung · commit dffac0dd4ca8 · 2024-10-26T09:10:11.000+02:00
diff --git a/src/shims/unix/fs.rs b/src/shims/unix/fs.rs
@@ -339,7 +339,10 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> {
                     _ => interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into()),
                 }
             }
-            Err(e) => this.io_error_to_errnum(e)?.to_i32(),
+            Err(_) => {
+                // Fallback on error
+                interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into())
+            }
         }
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -339,7 +339,10 @@ trait EvalContextExtPrivate<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`339`	`339`	`_ => interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into()),`
`340`	`340`	`}`
`341`	`341`	`}`
`342`		`- Err(e) => this.io_error_to_errnum(e)?.to_i32(),`
	`342`	`+ Err(_) => {`
	`343`	`+ // Fallback on error`
	`344`	`+ interp_ok(this.eval_libc("DT_UNKNOWN").to_u8()?.into())`
	`345`	`+ }`
`343`	`346`	`}`
`344`	`347`	`}`
`345`	`348`	`}`