C++ Logo


Advanced search

Re: [SG12] Feedback on P2234R0 "Consider a UB and IF-NDR Audit"

From: Jonathan Wakely <cxx_at_[hidden]>
Date: Wed, 21 Oct 2020 17:24:01 +0100
On Wed, 21 Oct 2020 at 17:15, Scott Schurr <s.scott.schurr_at_[hidden]> wrote:

> Hi Jonathan,
> On Wed, Oct 21, 2020 at 6:10 AM Jonathan Wakely <cxx_at_[hidden]> wrote:
>> Re http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2234r0.pdf
>> Thanks for working on this, Scott. I approve of the overall goal, but
>> have some comments on specific parts.
> Thanks for your careful reading of the paper. I appreciate your feedback
> on the suggested approaches. I believe every one of them. I'm happy to
> fix those examples which are fixable and remove any suggested approaches
> that are simply not workable. Would you be willing to help with that?

I've got a lot on my plate already, but I can try. I've made a mental note
to keep an eye out for discussions and revisions of the paper now that I'm
interested in it.

I don't think anything in the paper needs to be removed outright. My
comments were meant more to dampen enthusiasm for radical changes (sorry!
:-) than to reject anything outright. My objections don't necessarily need
to be added to the paper, but might be useful input for some of the work
done in small teams as suggested at the end of the paper.

> And, yes, I completely agree that participation and review by optimizer
> writers is critical to the successful outcome of the audit. I'm delighted
> that you seem to have a sense for who these folks would be for gcc. Of
> course we'll need clang and Visual Studio optimizer writers involved with
> the review as well. Yup, that will certainly influence how quickly the
> work can proceed.
> I'm quite happy that you approve of the overall goal. Motivating the
> audit (or something like it) was really the point of the paper.

Consider me motivated.

Received on 2020-10-21 11:24:31