diff options
| author | Ralf Jung <post@ralfj.de> | 2025-04-03 14:52:07 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-03 14:52:07 +0000 |
| commit | 1d4208717eb612eaa99c3f6dff74de14e1bb00df (patch) | |
| tree | ee561c16657d8f6941a09b41cf7dbeb5c99b191a | |
| parent | 1bfaa165ca0348cbdce0ffdefbc504f854159b1e (diff) | |
| parent | 1a89c2b08eb479b904aaa4523392666fe6eb35aa (diff) | |
| download | rust-1d4208717eb612eaa99c3f6dff74de14e1bb00df.tar.gz rust-1d4208717eb612eaa99c3f6dff74de14e1bb00df.zip | |
Merge pull request #4247 from RalfJung/foreign-items-comment
foreign_items: make comment more consistent
| -rw-r--r-- | src/tools/miri/src/shims/unix/macos/foreign_items.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/miri/src/shims/unix/macos/foreign_items.rs b/src/tools/miri/src/shims/unix/macos/foreign_items.rs index 918fd8dd52d..5046e965082 100644 --- a/src/tools/miri/src/shims/unix/macos/foreign_items.rs +++ b/src/tools/miri/src/shims/unix/macos/foreign_items.rs @@ -222,7 +222,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { this.write_scalar(res, dest)?; } - // Futex primitives + // Synchronization primitives "os_sync_wait_on_address" => { let [addr_op, value_op, size_op, flags_op] = this.check_shim(abi, Conv::C, link_name, args)?; @@ -273,7 +273,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { addr_op, size_op, flags_op, /* all */ true, dest, )?; } - "os_unfair_lock_lock" => { let [lock_op] = this.check_shim(abi, Conv::C, link_name, args)?; this.os_unfair_lock_lock(lock_op)?; |