Comment 41 for bug 427805

As for realloc(). It indeed does not guarantee that it will point out to the old chunk of memory. However it does guarantee that it will copy the relevant part of the memory. Reading man realloc:
 The contents will be unchanged to the minimum of the old and new sizes;
So that should be just enough.