> Я не понимаю что ты пытаешься сказать, сорри.

Проблема не в том, проверяется он или нет.
А в том что поведение неопределенное.

> То что в расте overflow проверяется всегда и нет возможности это отключить?

Нет, в расте оно так:
- в дебаге будут проверки и ошибка checks for integer overflow that cause your program to panic at runtime if this behavior occurs.
- в релизе будет two’s complement wrapping.
Но! Поведение будет всегда одно и тоже.
doc.rust-lang.org/book/ch03-02-data-types.html

Нет у них UB в этом вопросе. Как и в других.
При этом если ты хочешь специфицировать другое поведение - то для этого есть функции wrapping_, overflowing_, saturating_ и checked_.

А для си у тебя получаются код, которые просто выдает разный результат.