Stream: t-compiler/wg-mir-opt

Topic: miri error


Alexander Regueiro (Jul 22 2019 at 03:32, on Zulip):

Running latest miri (on a trivial fn main() {} even), I get this error:

Alexander Regueiro (Jul 22 2019 at 03:32, on Zulip):

https://gist.github.com/c7afa2a62fa5d44aa1718bba14f36322

Alexander Regueiro (Jul 22 2019 at 03:33, on Zulip):

this is with latest rustc master (self-compiled) and latest miri master (compiled using that rustc)

Alexander Regueiro (Jul 22 2019 at 03:33, on Zulip):

any ideas what could be happening?

Alexander Regueiro (Jul 22 2019 at 22:57, on Zulip):

@oli @RalfJ ^

Alexander Regueiro (Jul 22 2019 at 22:58, on Zulip):

hard to tell if it's a change to miri or to rustc that caused this.

Alexander Regueiro (Jul 23 2019 at 01:36, on Zulip):

sorry, just saw https://github.com/rust-lang/rust/pull/62823

Alexander Regueiro (Jul 23 2019 at 01:36, on Zulip):

seems to be that, ignore me!

RalfJ (Jul 23 2019 at 09:08, on Zulip):

yes, that should be fixed by the next Miri update :)

RalfJ (Jul 23 2019 at 09:09, on Zulip):

for the future, "latest Miri" is somewhat ambiguous -- do you mean the latest shipped with rustup, or the latest in the repo? In this case it was rustup I suppose, because last-i-checked the repo is green.

Alexander Regueiro (Jul 23 2019 at 14:14, on Zulip):

@RalfJ sorry, I mean HEAD of master branch. maybe using it together with the HEAD of rustc master was the issue. either way, applying your patch locally fixed it, cheers.

RalfJ (Jul 23 2019 at 14:57, on Zulip):

that patch only updates the version in rustc, which is shipped with rustup

RalfJ (Jul 23 2019 at 14:57, on Zulip):

it doesnt affect miri master

RalfJ (Jul 23 2019 at 14:57, on Zulip):

oh wait it also patches libstd

RalfJ (Jul 23 2019 at 14:57, on Zulip):

I guess you are building miri via x.py? that makes all the difference

Alexander Regueiro (Jul 23 2019 at 21:04, on Zulip):

I merged the patch manually, so... :-)

Last update: Nov 17 2019 at 08:05UTC