Почему signed overflow опасен?

Это UB; оптимизатор может выкинуть «невозможные» проверки.

Разбор

• Unsigned или checked add.
• builtin_add_overflow.
• size_t проверки.
• UBSan.

Итог

Не опирайтесь на wrap signed int. На практике закрепляйте проверками и ревью границ.