Merge remote-tracking branches 'origin/master' and 'ralf/shrink-whitelist' into memory-data-revived

Author: RalfJung

README.md

@@ -56,7 +56,7 @@ compiled the right way.
 Install Miri as a cargo subcommand:
 
 ```sh
-cargo +nightly install --git https://github.com/solson/miri/
+cargo +nightly install --git https://github.com/solson/miri/ miri
 ```
 
 Be aware that if you used `rustup override set` to fix a particular Rust version

src/lib.rs

@@ -319,7 +319,6 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> {
         // We walk up the stack a few frames to also cover their callees.
         const WHITELIST: &[(&str, &str)] = &[
             // Uses mem::uninitialized
-            ("std::ptr::read", ""),
             ("std::sys::windows::mutex::Mutex::", ""),
         ];
         for frame in ecx.stack().iter()