Buffer overflows are caught by bound checks that don't need integer overflow checks, cf dotnet.