对有效的非零大小调用realloc(owner, larger_size) 并返回NULL时，哪项保证成立？

对有效的非零大小调用realloc(owner, larger_size) 并返回NULL时，哪项保证成立？

1. 旧分配保持有效，内容不变。
2. 旧分配已经被释放。
3. 旧分配只有前半部分仍有效。
4. 调用方必须先释放这个NULL结果，才能继续使用owner。