В с контроль за массивами на программисте.
Обращаться можно к любому значение, не зависимо от того как определили массив. М[i], i можетбыть любым при чтении. Вы просто прочитаете что в памяти по этому адресу.
А вот при записи, если писать в область за пределы выделенной при компиляции или динамически - результат не предсказуем.