> 配列の要素を指すポインタとでわざわざ振る舞いが違うわけねーだろって話だよ。常考。
> ポインタと要素数だけ受け取る関数の身にもなってみろ。

規格の話ではないが、MSのライブラリ作成者の一人 Steve Maguire は自著 "Writing Solid Code" の中で
「for( p = pch; p < pch + size; ++p ) というコードは名前付き配列に対してしか動作しないのでライブラリの中では使用できない」
としているな。
きちんとした関数作成者なら、そこらへんは意識してコードを書いているだろう。

もちろん、ポインタと要素数だけ受け取って「ポインタが名前付き配列を指している」と勝手に仮定してコードを書いている人間の方が多いだろうが。