func(++ptr, end - ptr) - можно ли так?

Могу я быть уверен, что в выражении (end — ptr) будет уже изменённый ptr?
Что говорит стандарт?

Пока на собственное сообщение не было ответов, его можно удалить.

Заголовок: