fix Windows stdout/stderr

RalfJung · RalfJung · commit e8682aa2aaec · 2018-12-18T22:46:13.000+01:00
diff --git a/src/fn_call.rs b/src/fn_call.rs
@@ -615,7 +615,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
                 this.write_scalar(handle, dest)?;
             }
             "WriteFile" => {
-                let handle = this.read_scalar(args[0])?.to_i32()?;
+                let handle = this.read_scalar(args[0])?.to_isize()?;
                 let buf = this.read_scalar(args[1])?.not_undef()?;
                 let n = this.read_scalar(args[2])?.to_usize(&*this.tcx)?;
                 let written_place = this.deref_operand(args[3])?;

Original file line number	Diff line number	Diff line change
`@@ -615,7 +615,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,`
`615`	`615`	`this.write_scalar(handle, dest)?;`
`616`	`616`	`}`
`617`	`617`	`"WriteFile" => {`
`618`		`- let handle = this.read_scalar(args[0])?.to_i32()?;`
	`618`	`+ let handle = this.read_scalar(args[0])?.to_isize()?;`
`619`	`619`	`let buf = this.read_scalar(args[1])?.not_undef()?;`
`620`	`620`	`let n = this.read_scalar(args[2])?.to_usize(&*this.tcx)?;`
`621`	`621`	`let written_place = this.deref_operand(args[3])?;`