Здравствуйте, vopl, Вы писали:

V>cppreference.com считает что
V>1. ill-formed в этом случае нужно обязательно брать с пометкой no diagnostic required, и такая штука существенно отличается от просто ill-formed (который явно диагностирует проблему)

А стандарт языка говорит, что

https://timsong-cpp.github.io/cppwp/intro.defs#defns.ill.formed

3.25
ill-formed program
program that is not well-formed

В свою очередь well-formed программа не может порождать неопределенное поведение, по определению: https://timsong-cpp.github.io/cppwp/intro.defs#defns.well.formed. И "diagnostics required" никакой погоды не делает в этом контексте.