>>374
>>357,367 が挙げてる 3.7.4.2 [basic.stc.dynamic.deallocation] p4 の規定は
operator delete 関数で解放された領域を指すポインタの話。

配列終端を指すポインタの話は関係ないよ。