whitelist Windows Mutex

Author: RalfJung

src/lib.rs

@@ -265,6 +265,7 @@ impl<'a, 'mir, 'tcx> Machine<'a, 'mir, 'tcx> for Evaluator<'tcx> {
         const WHITELIST: &[&str] = &[
             // Uses mem::uninitialized
             "std::ptr::read",
+            "std::sys::windows::mutex::Mutex::",
         ];
         for frame in ecx.stack().iter()
             .rev().take(3)