Auto merge of #1196 - RalfJung:winlock, r=RalfJung
Remove incorrect try_lock from Windows critical section shim
This commit is contained in:
commit
b9eb21aa2c
1 changed files with 2 additions and 1 deletions
|
|
@ -124,11 +124,12 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
|
|||
| "DeleteCriticalSection"
|
||||
=> {
|
||||
// Nothing to do, not even a return value.
|
||||
// (Windows locks are reentrant, and we have only 1 thread,
|
||||
// so not doing any futher checks here is at least not incorrect.)
|
||||
}
|
||||
|
||||
| "GetModuleHandleW"
|
||||
| "GetProcAddress"
|
||||
| "TryEnterCriticalSection"
|
||||
| "GetConsoleScreenBufferInfo"
|
||||
| "SetConsoleTextAttribute"
|
||||
=> {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue