Чтобы убрать UB нужно овердохрена проверок разных на основе семантики делать, и генерировать definite B. А тут у каждого в комитете свое мнение, что должно генерироваться. Поэтому решено, что программисту проще выучить все случаи UB, отмеченные в стандарте, ну или вывести их на листики и развесить перед собой. Через годик-другой все и выучит. Вы же, когда идете по незнакомой заваленной мусором территории, сначала всегда под ноги смотрите, а после сотого прохода запросто идете и при этом зависаете в смартфоне.
Тем  более, что с++ компилятор стал уже настолько тормозной, что сил нет. Из за этого приходится все модули, что можно кодить на си, кодить на си.