Reserve the stdio fds

Author: pvdrz

src/shims/io.rs

@@ -5,13 +5,23 @@ use std::io::Read;
 use crate::stacked_borrows::Tag;
 use crate::*;
 
-#[derive(Default)]
 pub struct FileHandler {
     files: HashMap<i32, File>,
     flags: HashMap<i32, i32>,
     low: i32,
 }
 
+impl Default for FileHandler {
+    fn default() -> Self {
+        FileHandler {
+            files: Default::default(),
+            flags: Default::default(),
+            // 0, 1 and 2 are reserved for stdin, stdout and stderr
+            low: 3,
+        }
+    }
+}
+
 impl<'mir, 'tcx> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
 pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
     fn open(

src/shims/mod.rs

@@ -3,8 +3,6 @@ pub mod env;
 pub mod foreign_items;
 pub mod intrinsics;
 pub mod tls;
-pub mod dlsym;
-pub mod env;
 pub mod io;
 
 use rustc::{mir, ty};