miri
miri copied to clipboard
rust-lang
An interpreter for Rust's mid-level intermediate representation
I am thinking about what to do with https://github.com/dtolnay/linkme/issues/62. My library has a finicky platform-specific behavior that isn't necessarily reasonable for Miri to emulate, based on extern statics and `link_name`/`link_section`...
`-Zmiri-retag-fields=scalar` is roughly explained as retagging where rustc emits `noalias` attributes. For this to be accurate, `Box` shouldn't cause retagging when `-Zbox-noalias=no`, since setting this (experimental) rustc flag disables emitting...
would be nice if miri was able to have separate caches for its std build for `cargo +master miri...` and `cargo +nightly miri...` for example, to avoid frequent rebuilds when...
Running a basic test program against glommio: ``` $ MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri run --all-features --verbose error: unsupported operation: can't call foreign function: sched_setaffinity --> /home/vlovich/.cargo/registry/src/github.com-1ecc6299db9ec823/nix-0.23.2/src/sched.rs:175:13 | 175 | /...
https://github.com/rust-lang/rust/pull/102773 has started using macOS dispatch semaphores for thread parking on macOS. We should implement those APIs in Miri. (Right now a `cfg(miri)` makes miri use a pthread-based fallback implementation.)...
Miri punts on `GetConsoleMode` currently, which means that under miri, the stdlib's stdio implementation is rather different than reality. This means several things that don't work in reality will work...
We pretend to implement `socketpair`, but that's a complete lie. Completing this however doesn't need any involvement with the rest of the epoll plans. We "just" need to allocate somewhere...
### Problem A verbose error is shown when runnning ``pass-dep`` test, might be related to #3463. No error is shown when running ``./miri build``. ### Reproduce: 1. Run ``./miri run...
Currently we only report a deadlock when all threads stop running. Ideally we'd be able to detect partial deadlocks, where two threads are waiting on each other but other, unrelated...
@eddyb is lawful evil https://github.com/neon-bindings/neon/blame/master/src/lib.rs#L49 basically we should look in platform specific link sections for statics and run their value before anything else ```rust #[cfg_attr(target_os = "linux", link_section = ".ctors")]...
