Date: Wed, 23 Apr 2025 15:59:14 +0200
Please stop copying -core for these pre-discussions.
On 23/04/2025 14.49, Timur Doumler via SG12 wrote:
>> On 23 Apr 2025, at 06:15, Herb Sutter via SG12 <sg12_at_[hidden]> wrote:
>>
>> The first step is to document the current UB/IFNDR we already have: tag all instances and create Annexes. Shafik (thanks!) with help from some others (especially Timur and Josh, thanks!) has a pretty complete first pass as a draft PR here for explicit cases of IFNDR (25 cases) and UB (63 cases):
>>
>
> While Shafik has done great work, as stated in my series of emails from last week, this PR is missing ~20 cases of UB, including some common ones like reading an indeterminate value, so I would not yet call that "pretty complete". I am currently on vacation with very shaky internet so I can't do much until I'm back home on the 2nd of May, but in my absence Josh has promised to prepare PRs with the missing instances of UB that we found. Not sure where those are at right now (Josh, any update?) but I suggest we merge those in first (and also address the other comments from my series of emails addressing potential defects in Shafik's PR that Jens said he would prepare PRs for) before calling it ready for CWG.
There is still a lot of work to be done before calling
anything here "ready for CWG", so don't worry, and have
a nice vacation!
Jens
On 23/04/2025 14.49, Timur Doumler via SG12 wrote:
>> On 23 Apr 2025, at 06:15, Herb Sutter via SG12 <sg12_at_[hidden]> wrote:
>>
>> The first step is to document the current UB/IFNDR we already have: tag all instances and create Annexes. Shafik (thanks!) with help from some others (especially Timur and Josh, thanks!) has a pretty complete first pass as a draft PR here for explicit cases of IFNDR (25 cases) and UB (63 cases):
>>
>
> While Shafik has done great work, as stated in my series of emails from last week, this PR is missing ~20 cases of UB, including some common ones like reading an indeterminate value, so I would not yet call that "pretty complete". I am currently on vacation with very shaky internet so I can't do much until I'm back home on the 2nd of May, but in my absence Josh has promised to prepare PRs with the missing instances of UB that we found. Not sure where those are at right now (Josh, any update?) but I suggest we merge those in first (and also address the other comments from my series of emails addressing potential defects in Shafik's PR that Jens said he would prepare PRs for) before calling it ready for CWG.
There is still a lot of work to be done before calling
anything here "ready for CWG", so don't worry, and have
a nice vacation!
Jens
Received on 2025-04-23 13:59:20