Hi Herb,

Thanks for your email!

> 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.

Does that make sense?

Thanks,
Timur