Проверка происходит грубо говоря на уровне ОС. Например, XP и win7 в случае записи за предел массива реагируют по разному - семерка чаще всего крешит приложение, семерка - отработает.
Вообще проверка а указывает ли указатель куда надо всегда на совести программиста. Причем может вполне валидным быть наращивание указателя за пределы первого массива - например если вы гарантируете что за первым массивом сразу идет второй массив.