« first day (1650 days earlier)      last day (1842 days later) » 

12:15 AM
 
 
1 hour later…
1:43 AM
@Stargateur Well, I'll just take that as I write really good code then
 
 
12 hours later…
2:01 PM
I am noticing a recent trend of running tests in CI with Miri, so as to catch some forms of UB.
@набиячлэвэли We ought to have this (see above) in safe-transmute.
 
@E_net4 Seems reasonable if you have unsafe code
My worry is that people will think it's a silver bullet
since it only catches some types of things and only if you execute them
I think it needs to be combined with some amount of randomness (e.g. proptest)
 
True. The worst kinds of bugs are those we can't reproduce. :[
 
 
2 hours later…
3:38 PM
Odd. After adding the miri component, the cargo-miri subcommand is nowhere to be found.
And I already tried multiple toolchains.
 
3:53 PM
Pretty much.
And yet no cargo-miri.
```
rustup toolchain add nightly-2019-03-28
rustup component add miri --toolchain nightly-2019-03-28
rustup run nightly-2019-03-28 cargo miri
error: no such subcommand: `miri`

Did you mean `fix`?
```
Markdown 1st world problems
The component is indeed listed when I do rustup component list --toolchain ...
Adding other components such as rust-src or rust-analysis doesn't help.
 
$ rustup component add miri
info: downloading component 'miri'
info: installing component 'miri'
$ cargo-miri --version
miri 0.1.0 (28f2e5b 2019-04-08)
 
Weird.
Which toolchain by the way?
 
I just started a rustup update, so I can't tell you anymore :-)
but nightly
It still works with rustc 1.36.0-nightly (33fe1131c 2019-04-20)
 
:[
I also can't seem to find posts presenting the same issue.
rustup --version please?
 
4:08 PM
$ rustup --version
rustup 1.17.0 (069c88ed6 2019-03-05)
 
That's what I have.
And heh, I found the bugger... in the expected place.
~/.rustup/toolchains/nightly-2019-04-21-x86_64-unknown-linux-gnu/bin
But rustup run nightly-2019-04-21 cargo miri won't find it
 
what happens if you do rustup use nightly-2019-04-21 first?
maybe something is bogus with rustup run
 
use is not valid there, right? default or override set
cargo miri doesn't help after that, and neither can I call cargo-miri.
 
(use is me mixing up with other toolchain managers)
 
Something is amiss.
It's as if Cargo refused to admit cargo-miri as a plug-in.
 
4:22 PM
time to reboot
 
Back from a reboot. Aaand it didn't help.
 
time to buy a new computer
 
:<<
 
nuke it from orbit
 
user6564029
hmmmmm:
 
user6564029
4:32 PM
```
 
user6564029
$ rustup component add miri
info: downloading component 'miri'
822.4 KiB / 822.4 KiB (100 %) 295.6 KiB/s ETA: 0 s
info: installing component 'miri'
info: rolling back changes
error: component manifest for 'miri' is corrupt
 
user6564029
i forgot, how do I enter a newline in the chat?
 
Heh, now I managed to make it work with rustup run nightly-2019-04-21 cargo-miri miri
 
 
3 hours later…
7:27 PM
@Shepmaster Sounds good!
 
 
1 hour later…
8:54 PM
@E_net4 yeah alright
I'll see how not trash I can make it
 
9:22 PM
oh wow I managed to break Travis real bad in the process
 
 
1 hour later…
@набиячлэвэли Yup, that test needs fixing.
Some of those base::* tests are misusing these functions because they do not ensure proper alignment.
It doesn't mean that we have a bug though, these ones are unsafe.
 

« first day (1650 days earlier)      last day (1842 days later) »