>>755
あった。

7.20.3 Memory management functions の p1 より抜粋。
> The pointer returned if the allocation
> succeeds is suitably aligned so that it may be assigned to a pointer to any type of object
> and then used to access such an object or an array of such objects in the space allocated
> (until the space is explicitly deallocated).

確保が成功したときに返されたポインタはどんな型のポインタにも代入でき、その場合
確保された領域にあるそのオブジェクトまたはオブジェクトの配列に（明示的に解放される
までの間）アクセスするのに使用できるよう、適切にアラインされている。