>>502
んなこたあない、極端な話、整数の演算をしなければオーバーフローは起きない
オーバーフローが起きる演算がないか実行前に全部チェックして
実行時にオーバーフローが起きないことを保証できる言語があるんです
それがSPARKです