为何偏移量会触发GCC的realloc后使用警告？

问题代码 #

#include <stdlib.h>
#include <stddef.h>
#include <stdint.h>

void *magic (int *start, int random)
{
  size_t offset = (uintptr_t)start % 16;
  int *end = (void*)((char*)start + offset);
  ptrdiff_t diff = (char*)end - (char*)start;

  // removing this if clause (and the random function parameter)
  // fixes the warning for some reason.
  if(random > 100) { 
    return NULL;
  }

  int *new_start = realloc(start, sizeof(int)*100);

  return (char *)new_start + diff;
}

该代码在GCC 12.2的-O1及以上优化级别下会触发warning: use of memory after 'realloc' [-Wuse-after-free]警告，移除if分支后警告消失。

原因拆解 #

1. 非法指针算术的潜在未定义行为 #

根据C标准，指针算术仅允许在指向的对象（或数组）范围内，或对象末尾的下一个位置进行操作。代码中(char*)start + offset的计算，若offset大于原内存块的大小，会导致end指针超出合法范围，这属于未定义行为。当存在if(random>100)分支时，编译器无法通过静态分析确定offset是否在合法范围内，因此会触发相关检测逻辑。

2. 编译器静态分析的误判 #

移除if分支后，代码路径唯一，GCC可以明确推断出diff是基于原指针地址的数值计算，并未实际解引用原内存，因此不会触发警告。但存在分支时，编译器的数据流分析出现误判：错误将diff的计算与原内存的使用关联，认为return语句中使用了realloc已释放的原start指向的内存——但实际上diff是提前计算的数值，并未访问已释放的内存。

结论 #

这段代码存在潜在未定义行为（非法指针算术），但触发的realloc后使用内存警告属于编译器误报。不过，非法指针算术本身违反C标准，是需要修正的问题。

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