Текущее значение указателя компилятору пох. Он будет и будет тебе например, плюсовать адреса даже когда указываемый массив уже кончился а он херачит ++. Но указываемый тип для каждого ptr компилятор помнит с самого момента объявления этого ptr. И будет прибавлять или убавлять относительно длины этого типа.