如何修复C语言中realloc触发的‘pointer ‘old’ may be used after ‘realloc’ [-Wuse-after-free]’警告？

编译器警告信息 #

lib/gc.c: In function ‘gcLocalRealloc’:
lib/gc.c:625:9: warning: pointer ‘old’ may be used after ‘realloc’ [-Wuse-after-free]
  625 |         gcLocalPop ( gc,old ) ;
      |         ^~~~~~~~~~~~~~~~~~~~~
lib/gc.c:621:11: note: call to ‘realloc’ here
  621 |     ptr = (void*) realloc ( ptr,SIZE ) ;

问题代码 #

void* gcLocalRealloc(gc_t *gc, void* ptr, size_t SIZE) {
    //assert(SIZE!=0); // realloc(array, 0) is not equivalent to free(array).
    if (SIZE == 0) {
        gcFree(ptr);
        return ptr = NULL;
    }
    
    assert(SIZE > 0);
    
    if (ptr == NULL) return gcLocalMalloc(gc, SIZE);

    void* old = ptr;
    
    ptr = (void*) realloc(ptr, SIZE);

    if (ptr != NULL) {
        gcLocalPop(gc, old);
        gcLocalPush(gc, ptr, SIZE);
        assert(ptr != NULL);
    }

    return ptr;
}

问题原因 #

编译器报警告的核心逻辑：当realloc成功扩容时，存在两种情况：

1. 原地扩容：旧内存块被复用，old和新ptr指向同一块内存；
2. 内存块移动：realloc会自动释放旧内存块，此时old指向已释放的内存空间。

原代码在realloc之后调用gcLocalPop(gc, old)，编译器无法区分上述两种情况，因此判定存在old指针被用于已释放内存的风险，触发-Wuse-after-free警告。

修复方案 #

要保留内存重分配和垃圾回收更新功能，关键是避免在realloc之后操作旧指针，调整逻辑为realloc前先移除旧指针，并处理realloc失败的回滚场景：

void* gcLocalRealloc(gc_t *gc, void* ptr, size_t SIZE) {
    //assert(SIZE!=0); // realloc(array, 0) is not equivalent to free(array).
    if (SIZE == 0) {
        gcFree(ptr);
        return NULL;
    }
    
    assert(SIZE > 0);
    
    if (ptr == NULL) return gcLocalMalloc(gc, SIZE);

    // 先从GC中移除旧指针，避免realloc释放后再操作
    gcLocalPop(gc, ptr);
    
    void* new_ptr = (void*) realloc(ptr, SIZE);

    if (new_ptr != NULL) {
        gcLocalPush(gc, new_ptr, SIZE);
        return new_ptr;
    } else {
        // realloc失败，原内存未被释放，重新加入GC
        gcLocalPush(gc, ptr, SIZE);
        return NULL;
    }
}

修复要点 #

• 提前执行GC移除操作：在调用realloc前就将旧指针从垃圾回收机制中移除，此时无论realloc是否移动内存，都不会再操作已释放的指针；
• 处理realloc失败场景：如果realloc返回NULL，原内存块并未被释放，必须将旧指针重新加入GC，避免内存泄漏；
• 变量命名更清晰：用new_ptr区分新旧指针，降低代码歧义。

内容的提问来源于stack exchange，提问作者Claudio Daffra