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

V>для того чтобы увязать это с неопределенным поведением — надо проделать еще какие то шаги, одного только представленного определения не достаточно, так как в нем нет ни слова о неопределенном поведении

Вообще-то есть: "C++ program constructed according to the syntax and semantic rules". Конечно, здесь подразумевается, что мы знаем, что такое неопределенное поведение: https://timsong-cpp.github.io/cppwp/intro.defs#defns.undefined: "behavior for which this document imposes no requirements...".

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

V>для того чтобы увязать это с неопределенным поведением — надо проделать еще какие то шаги, одного только представленного определения не достаточно, так как в нем нет ни слова о неопределенном поведении

Вообще-то есть: "C++ program constructed according to the syntax and semantic rules". Конечно, здесь подразумевается, что мы знаем, что такое неопределенное поведение: https://timsong-cpp.github.io/cppwp/intro.defs#defns.undefined: "behavior for which this document imposes no requirements...". Два эти пункта исключают возможность порождения UB в well-formed программе. А программа, если она не well-formed, она ill-formed. ЧТД.