-
Notifications
You must be signed in to change notification settings - Fork 12.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
remove_dir_all: use fallback implementation on Miri #94749
Conversation
r? @kennytm (rust-highfive has picked a reviewer for you, use r? to override) |
Can you add a user-facing note about this in the |
Sure... not what I expected (I don't think we have other such notes for Miri), but why not. |
@@ -1480,14 +1480,14 @@ pub fn chroot(dir: &Path) -> io::Result<()> { | |||
|
|||
pub use remove_dir_impl::remove_dir_all; | |||
|
|||
// Fallback for REDOX and ESP-IDF | |||
#[cfg(any(target_os = "redox", target_os = "espidf"))] | |||
// Fallback for REDOX and ESP-IDF (and Miri) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
FWIW the docs also do not seem to mention ESP-IDF (whatever that is)
@cuviper since you left a comment earlier -- can I assign this PR to you, or should I try to find another reviewer? |
📌 Commit 28eb06b has been approved by |
…iper remove_dir_all: use fallback implementation on Miri Fixes rust-lang/miri#1966 The new implementation requires `openat`, `unlinkat`, and `fdopendir`. These cannot easily be shimmed in Miri since libstd does not expose APIs corresponding to them. So for now it is probably easiest to just use the fallback code in Miri. Nobody should run Miri as root anyway...
…askrgr Rollup of 5 pull requests Successful merges: - rust-lang#94749 (remove_dir_all: use fallback implementation on Miri) - rust-lang#94948 (Fix diagnostics for `#![feature(deprecated_suggestion)]`) - rust-lang#94989 (Add Stream alias for AsyncIterator) - rust-lang#95108 (Give more details in `Display` for `hir::Target`) - rust-lang#95110 (Provide more useful documentation of conversion methods) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
test remove_dir_all Blocked on rust-lang/rust#94749 Cc #1966
Fixes rust-lang/miri#1966
The new implementation requires
openat
,unlinkat
, andfdopendir
. These cannot easily be shimmed in Miri since libstd does not expose APIs corresponding to them. So for now it is probably easiest to just use the fallback code in Miri. Nobody should run Miri as root anyway...