C++23 порадовал: например, мы оптимизируем с помощью assume функцию для расчёта значения 44, и если она попадётся где-нибудь в промисе, который потом сломается (что само по себе и так часто приводит к race condition), мы окажемся в UB и получим в перспективе крайне хреновые ситуации, которые нереально воспроизвести, если включён UndefinedBehaviorSanitizer (например, условия гонки чувствительны ко времени).
P.S. Ладно, плохой пример нарисовал :) return x+2;
Ну в общем вы поняли )