It is tricky because it not specified simply as UB - at least in C. And the question is whether this specification is already the special case or not, and even

It is tricky because it not specified simply as UB - at least in C. And the question is whether this specification is already the special case or not, and even if we want this special case or rather only the diagnostic.