Unreachable on sending signal to dead process

[Plecra]

zig/lib/std/os.zig

Line 482 in aa61e03

.SRCH => unreachable, // always a race condition

Is there a way users are expected to handle this? Seems like there's no way to entirely avoid this branch when calling the function

[andrewrk]

This is always a race condition; if you hit this line your code has a fatal design flaw. The same pid could have been reallocated by the kernel, and you would end up sending the signal to an unrelated process.

[mrakh]

This is always a race condition; if you hit this line your code has a fatal design flaw. The same pid could have been reallocated by the kernel, and you would end up sending the signal to an unrelated process.

What if the PID is user-supplied? What if I’m running as PID 1 in my own PID namespace and can guarantee PID allocation behavior? I expect to be able to handle a nonexistent PID gracefully.

[daurnimator]

This is always a race condition; if you hit this line your code has a fatal design flaw.

As much as it's a design flaw, it's required to e.g. implement the very well known kill command line tool.