CやC++は、つまるところ高級アセンブラだからチェックしない(プログラマに任せる)けど、普通の高級言語ならオーバーフローチェックは入れるだろ

念のため書いておくとCやC++を貶してるつもりはない
そういう用途だってだけだし、俺はそれが気に入ってる