abort instead of ub for invalid handle in closehandle

Author: beepster4096

src/shims/windows/handle.rs

@@ -144,7 +144,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
 
         match Handle::from_scalar(this.read_scalar(handle_op)?.check_init()?, this)? {
             Some(Handle::Thread(thread)) => this.detach_thread(thread)?,
-            _ => throw_ub_format!("invalid handle"),
+            _ =>
+                throw_machine_stop!(TerminationInfo::Abort(
+                    "invalid handle passed to `CloseHandle`".into()
+                )),
         };
 
         Ok(())