大小为 8 的无效读取 - Valgrind + C

Question

Valgrind 在以下代码中报告错误Invalid read of size 8。

我有一个声明的数组，

struct symbol *st[PARSER_HASH_SIZE];

当我的程序初始化时，这个数组中的所有元素都初始化为0。

memset(&st[0], 0, sizeof(st));

我的程序创建struct symbol 的实例并根据哈希值插入到上述数组中。因此，该数组中的元素很少是 NULL，而其他元素将是有效值。

以下代码尝试删除分配的项目，并且 valgrind 在该行抱怨， sym = st[i]; sym != NULL; sym = sym->next

struct symbol *sym = NULL;

/* cleaning the symbol table entries */
for(i = 0; i < PARSER_HASH_SIZE; i++) {
    for(sym = st[i]; sym != NULL; sym = sym->next) { /* <-- Valgrind complains here */
        free(sym);
    }
}

我正在尝试了解此错误的原因。

任何帮助都会很棒！

Answer 1

问题是您正在释放sym，然后尝试从（现已释放的）数据中访问一个值：sym->next。

你可能想要这样的内部循环：

struct symbol *next_sym = NULL;

for(sym = st[i]; sym != NULL; ) {
    next_sym = sym->next;
    free(sym);
    sym = next_sym;
}

Answer 2

也不清楚你的数组是包含结构还是指向结构的指针

struct symbol *st[PARSER_HASH_SIZE];

说它是一个指向结构的指针数组。但是你说

“当我的程序初始化时，这个数组中的所有元素都初始化为0。”

memset(&st[0], 0, sizeof(st));

这将条目视为结构

清除数组做

for (int i = 0; i < PARSER_HASH_SIZE; i++)
{
    st[i] = 0;
}