UB или фича?

As stated earlier, a return value of NULL indicates that the old object still remains allocated. Better code looks like this:

newsize = size + 50; if ((newp = realloc(p, newsize)) == NULL) { free(p); p = NULL; size = 0; return (NULL); } p = newp; size = newsize;

Что в лоб, что пол лбу. Если сохраняется указатель на прошлый блок памяти (что у меня и происходит), нет разницы как ты обрабатываешь исключение.