actually show warnings about suppressed output

Author: RalfJung

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(
@@ -632,7 +632,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
                     };
                     res.ok().map(|n| n as u64)
                 } else {
-                    warn!("Ignored output to handle {}", handle);
+                    eprintln!("Miri: Ignored output to handle {}", handle);
                     Some(n) // pretend it all went well
                 };
                 // If there was no error, write back how much was written