Приведите пример, когда нет. Стандарт четко формулирует понятие UB, и на то оно UB, чтобы не гарантировать вообще ничего. UB в одном месте запросто может перескочить чуть дальше по коду, выкинуть что-то правильное и добавить не правильного. Как карта ляжет.