あ、もしや >>109 の言ってる冪等性がないって引数で渡したポインタとは違うポインタを返してくることがあるって意味?
あまりにも当たり前すぎて思いつかなかったが。

しかし malloc() の実装にもよるだろうがこれを許さないと効率は悪くなるのではないか?