在 C 中释放结构后奇怪的断言失败 [重复]

问：

我是 C 语言的初学者，我遇到了这个奇怪的失败：assert

假设我们有这个设置：

#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <assert.h>

typedef struct {
    int id;
} Struct;

Struct* new_struct(int id) {
    Struct* s;
    if ((s = malloc(sizeof(Struct))) == NULL) {
        return NULL;
    }
    s->id = id;
    return s;
}

void free_struct(Struct* s) {
    if (!s) {
        return;
    }
    free(s);
    s = NULL;
    assert(s == NULL); // no problem here, `s` is NULL.
}

int main(void) {
    Struct* s = new_struct(4);
    printf("%d\n", s->id);
    
    free_struct(s);
    assert(s == NULL); // Causes assert failure.
    
    return EXIT_SUCCESS;
}

为什么函数内部失败，但函数最后一行的函数通过？assert(s == NULL)mainfree_struct()

我试图调试正在发生的事情，但没有结果。

编辑： 我添加了该函数，但这不是导致这种奇怪的断言失败的原因，它仍然会发生。return s;new_struct()