Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #79708 Miscompilation root-caused to llvm bug


triagebot (Dec 04 2020 at 20:11, on Zulip):

@WG-prioritization/alerts issue #79708 has been requested for prioritization.

Procedure

Camelid (Dec 04 2020 at 21:41, on Zulip):

(deleted - wrong thread)

Camelid (Dec 04 2020 at 21:43, on Zulip):

No idea what priority this should be :laughing:

Joshua Nelson (Dec 04 2020 at 22:16, on Zulip):

I think P-high or P-critical since this is unsound

Joshua Nelson (Dec 04 2020 at 22:17, on Zulip):

I only suggest P-high because it's been around from 2015, but it's impacting people in production so P-critical seems appropriate

Camelid (Dec 04 2020 at 22:42, on Zulip):

Higher priority is safer than lower :)

Camelid (Dec 04 2020 at 22:42, on Zulip):

I think let's wait for some more people to jump in perhaps before we prioritize

Camelid (Dec 04 2020 at 22:42, on Zulip):

Or you can label with P-critical if you think that's right

DPC (Dec 06 2020 at 01:18, on Zulip):

i guess p-high would be fine on this one

Hameer Abbasi (Dec 06 2020 at 17:33, on Zulip):

If it's that old, it probably occurs rarely. P-high is fine, I think.

Camelid (Dec 06 2020 at 21:10, on Zulip):

Hmm, I agree with Joshua that this should be P-critical since it's unsound and impacting people in production.

Hameer Abbasi (Dec 07 2020 at 08:41, on Zulip):

I don't have a strong opinion, I'm fine with P-critical.

Léo Lanteri Thauvin (Dec 07 2020 at 13:31, on Zulip):

I'm not used to looking at LLCM bugs... From what I undestand from https://reviews.llvm.org/D91576, this is now fixed on LLVM upstream?

Léo Lanteri Thauvin (Dec 07 2020 at 13:33, on Zulip):

most likely 1.47.0 just exposed inputs that trigger it

So this may not actually be an issue that's been here since 2015 in Rust?

Léo Lanteri Thauvin (Dec 07 2020 at 13:34, on Zulip):

I think P-critical sounds right, and maybe I-nominated to discuss a cherry-pick of the LLVM patch?

DPC (Dec 07 2020 at 17:29, on Zulip):

i guess we don't need both then, i-nominated should suffice imo

triagebot (Dec 07 2020 at 18:32, on Zulip):

Issue #79708's prioritization request has been removed.

Léo Lanteri Thauvin (Dec 07 2020 at 18:43, on Zulip):

I'll fill the agenda for the issue now I guess

Stu (Dec 07 2020 at 21:28, on Zulip):

<wrong topic>

Last update: Apr 10 2021 at 22:45UTC