The "list of undefined behaviour" annex has been written and was discussed at the last meeting. As I said, some of what's in it are already being implemented by the big compilers (though TBF to your comment not yet in any released versions as far as I know).

But this case will be one of the early ones.