>КАК твой компилер это обработает?

Зная, что при работе с массивом допустимый индекс должен быть в диапазоне от 0 до длины массива указанной при выделении. Компилятор может ПОТРЕБОВАТЬ преобразовать обычный int в тип с ограниченным диапазоном значений(n >= 0 && n < sizeof(array)). При обычных n++ нужно проверять только верхнюю границу, в случае числа из файла, обе. Вообще такое требуется не только указателям, но Rust не Ada, чтобы развить собственную философию недопустимости неправильных состояний любых переменных на этапе компиляции.