Stream: t-compiler/wg-mir-opt

Topic: current status of panic hooks in miri


vertexclique (Dec 17 2019 at 12:00, on Zulip):

https://github.com/rust-lang/rust/issues/66247
I saw this issue has been opened for implementing panic hook entries in miri. What is the current status? If noone is taking and we agreed on terms can I work on this?

oli (Dec 17 2019 at 12:06, on Zulip):

I don't think there has been any progress on making a decision

oli (Dec 17 2019 at 12:06, on Zulip):

This is mostly design work and little implementation work

vertexclique (Dec 17 2019 at 12:19, on Zulip):

Anything that I can get my hands dirty with? Currently looking to the issues but I couldn't find under a lot under A-miri
https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AA-miri

RalfJ (Dec 22 2019 at 19:51, on Zulip):

Try getting a hold on @eddyb . Personally I don't think the current solution is bad.^^

Last update: Apr 05 2020 at 01:15UTC