[kazinator]

Undefined behavior doesn't mean there is no way to reason about what the program does according to ISO C++. It means that the way to reason about it is outside of ISO C++, in specific ways, like that it may be a documented extension in the implementation or numerous other possibilities; you have to research those possibilities before concluding that there remains no way to reason about it.