The standard (in the prevailing reading of the UB section, and also in practice) places no requirements on the behavior of programs containing UB. None of the paragraphs you quoted have any bearing on how an UB-laden program behaves.