realloc直前では壊れていないということは、
あとは、size1 > size2になってるとかくらいかねぇ。
ライブラリのバグの可能性もあるけど。