use TRUE/FALSE constants for return value

beepster4096 · beepster4096 · commit f401245089d0 · 2022-11-04T17:02:25.000-07:00
diff --git a/src/shims/windows/sync.rs b/src/shims/windows/sync.rs
@@ -433,7 +433,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
 
                     let error_timeout = this.eval_windows("c", "ERROR_TIMEOUT")?;
                     this.set_last_error(error_timeout)?;
-                    this.write_scalar(Scalar::from_i32(0), &self.dest)?;
+                    this.write_scalar(this.eval_windows("c", "FALSE")?, &self.dest)?;
                     Ok(())
                 }
             }
@@ -451,7 +451,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
             );
         }
 
-        Ok(Scalar::from_i32(1))
+        this.eval_windows("c", "TRUE")
     }
 
     fn WakeConditionVariable(&mut self, condvar_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {

Original file line number	Diff line number	Diff line change
`@@ -433,7 +433,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`433`	`433`
`434`	`434`	`let error_timeout = this.eval_windows("c", "ERROR_TIMEOUT")?;`
`435`	`435`	`this.set_last_error(error_timeout)?;`
`436`		`- this.write_scalar(Scalar::from_i32(0), &self.dest)?;`
	`436`	`+ this.write_scalar(this.eval_windows("c", "FALSE")?, &self.dest)?;`
`437`	`437`	`Ok(())`
`438`	`438`	`}`
`439`	`439`	`}`
`@@ -451,7 +451,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`451`	`451`	`);`
`452`	`452`	`}`
`453`	`453`
`454`		`- Ok(Scalar::from_i32(1))`
	`454`	`+ this.eval_windows("c", "TRUE")`
`455`	`455`	`}`
`456`	`456`
`457`	`457`	`fn WakeConditionVariable(&mut self, condvar_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {`