I also note that when I was workshopping this article in some earlier draft forms I got several comments of the form that they were going to start using EXCUSE ME SIR THIS IS UNACCEPTABLE as their new "assertion failed"
That was a fun read, and also a good worked example of exactly how "assume undefined behaviour never occurs" can lead to this sort of upsetting result by the optimizer