Ben Kimock
Ben Kimock
At a glance, this looks to me like a cargo/rustc issue but then I don't know how to explain only seeing this with Miri. I think this is somehow related...
We should really figure out some kind of Miri utils crate if we're going to keep incentivizing library authors to do stuff like this. As-written, this is ugly to use...
I'm thinking of something that is only checked under `cfg(miri)` and gets an `Undefined Behavior: ` error with a backtrace, or something substantially similar by hooking into our usual error...
Do library authors need any special support from Miri to detect library UB? Based on what @dtolnay says above, the value in `miri_warn` is just to get the stacktrace (well,...
> Contrary to the suggestion, there is no newer nightly available at the time of writing 2024-04-08T22:31+02:00. Where can I report this bug? That message is from the compiler's ICE...
The recursion looks like this: ``` #13981 0x00007f6eb527eb02 in ::tys () from /home/ben/.rustup/toolchains/miri/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_driver-796e47691512e4e9.so #13982 0x00007f6eb5274dc6 in rustc_middle[419c519ecacfa367]::ty::relate::structurally_relate_tys:: () from /home/ben/.rustup/toolchains/miri/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_driver-796e47691512e4e9.so #13983 0x00007f6eb527eb02 in ::tys () from /home/ben/.rustup/toolchains/miri/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_driver-796e47691512e4e9.so ``` And this...
Strange... I can't reproduce this by running the `./miri run --dep` line you pasted from a cleaned checkout. Do I need to run something else first?
> How long does it run without the GC? About 6.5 seconds (close to what the 27% would suggest, but not exactly). > We could adjust the GC interval to...
I should probably do a version of https://github.com/rust-lang/miri/issues/2057 for aarch64, all my current surveying is done based on x86-64-v2.
It involves running the tests for every published crate so I feel like you're not up for that :) Also Miri supports cross-interpretation so the host doesn't matter, my big...