unsupported operation: can't call foreign function `posix_spawnattr_init` on OS `macos`

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

unsupported operation: can't call foreign function `posix_spawnattr_init` on OS `macos` #3728

Closed camelid closed 2 days ago

camelid commented 2 days ago

This foreign function is used by std::process::Command::status(), so it seems like a common enough operation.

Flags: I of course ran with -Zmiri-disable-isolation since I'm doing I/O.

rustc version and arch info:

rustc 1.81.0-nightly (d0227c6a1 2024-06-11)
binary: rustc
commit-hash: d0227c6a19c2d6e8dceb87c7a2776dc2b10d2a04
commit-date: 2024-06-11
host: aarch64-apple-darwin
release: 1.81.0-nightly
LLVM version: 18.1.7

saethlin commented 2 days ago

We should probably have a more detailed explanation of the path forward for these errors. Adding shims for the process-spawning functions is uninteresting until someone has a full plan for how to support subprocesses.

RalfJung commented 2 days ago

This is effectively a duplicate of https://github.com/rust-lang/miri/issues/3374 -- we don't support Command.