actually show warnings about suppressed output

RalfJung · RalfJung · commit 11433bf38e58 · 2018-12-19T11:07:24.000+01:00
diff --git a/src/fn_call.rs b/src/fn_call.rs
@@ -398,7 +398,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
                         Err(_) => -1,
                     }
                 } else {
-                    warn!("Ignored output to FD {}", fd);
+                    eprintln!("Miri: Ignored output to FD {}", fd);
                     n as i64 // pretend it all went well
                 }; // now result is the value we return back to the program
                 this.write_scalar(

Original file line number	Diff line number	Diff line change
`@@ -398,7 +398,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,`
`398`	`398`	`Err(_) => -1,`
`399`	`399`	`}`
`400`	`400`	`} else {`
`401`		`- warn!("Ignored output to FD {}", fd);`
	`401`	`+ eprintln!("Miri: Ignored output to FD {}", fd);`
`402`	`402`	`n as i64 // pretend it all went well`
`403`	`403`	`}; // now result is the value we return back to the program`
`404`	`404`	`this.write_scalar(`