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

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

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