я говорю что по стандарту UB означает что существуют ситуации когда поведение не определено. это никак не противоречит другому утверждению -- "существуют ситуации когда данное поведение определено"
Ни в каком случае уб не будет определено в конкретной точке программы. Компилятор может это определить, может сказать, что произойдет что угодно. Поэтому никто не пишет код, закладываясь на такие зыбкие вещи