Fix isolation code

Author: b-NC

src/shims/env.rs

@@ -474,12 +474,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             "`getpid` is only available for the UNIX target family"
         );
 
-        if let IsolatedOp::Reject(reject_with) = this.machine.isolated_op {
-            this.reject_in_isolation("getpid", reject_with)?;
-            this.set_last_error_from_io_error(ErrorKind::PermissionDenied)?;
+        this.check_no_isolation("`getpid`")?;
 
-            return Ok(-1);
-        }
         // The reason we need to do this wacky of a conversion is because
         // `libc::getpid` returns an i32, however, `std::process::id()` return an u32,
         // So we need to fit that u32 into an i32 and pray
@@ -495,11 +491,8 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         let this = self.eval_context_mut();
         this.assert_target_os("windows", "GetProcessId");
 
-        if let IsolatedOp::Reject(reject_with) = this.machine.isolated_op {
-            this.reject_in_isolation("`GetProcessId`", reject_with)?;
-            this.set_last_error_from_io_error(ErrorKind::PermissionDenied)?;
-            return Ok(0);
-        }
+        this.check_no_isolation("`GetCurrentProcessId`")?;
+        
 
         Ok(std::process::id())
     }