Олег, боюсь, что это ты путаешь. UB это вполне определённый термин, глубоко завязанный на процесс стандартизации языка: под "неопределённое поведение" попадает всё, что явно не определено в стандарте. Так, например, переполнение беззнакового целого стандартом действительно определено (таким образом, все компиляторы обязаны делать "wrap around", чтобы TYPE_max_size + 1 = TYPE_min_size), а вот переполнение знакового целого -- в стандарте явно не описано, и потому это UB. И то, что некоторые компиляторы делают "wrap around" для знакового целого -- это не гарантия того, что нет копилятора, который обрабатывает эту ситуацию как-то иначе. UB это больше о формализации, ну или бюрократии, если тебе так будет легче.