LLVM 10.0中GEP为何无法计算非原始类型字段的地址？

你遇到的问题核心在于LLVM对**无大小类型（unsized type）**的限制——哪怕GEP仅做地址偏移计算，也依赖明确的类型大小信息。

第一个例子正常编译的原因 #

第一个例子里的%ManuallyDrop是包含i32的结构体，i32是有明确大小的原始类型，LLVM能确定整个结构体的内存布局，也能验证成员的偏移计算合法性（哪怕这里偏移量是0），所以GEP指令可以正常执行。

第二个例子编译失败的核心逻辑 #

%ExampleType = type opaque是LLVM的不透明类型，这类类型的大小完全未定义。当它作为结构体%ManuallyDrop的成员时，整个结构体的大小也变成了无法确定的状态。

虽然GEP确实不会解引用内存，但它的本质是计算地址偏移：要定位结构体成员的地址，LLVM需要确认成员类型的大小合法（哪怕偏移为0，也需要保证结构体的内存布局是可计算的）。因为opaque类型没有大小信息，LLVM无法完成这个基础的偏移计算校验，所以抛出base element of getelementptr must be sized错误。

解决办法 #

• 给不透明类型补充明确的大小定义，比如把%ExampleType = type opaque替换成具体的有大小类型，例如%ExampleType = type { i8 }或你需要的其他结构体/原始类型；
• 如果是前向声明的类型，确保后续代码中补全了该类型的完整定义，让LLVM能确定其大小。

修正后的代码示例 #

%ExampleType = type { i8 }  // 将opaque替换为有明确大小的类型
%ManuallyDrop = type { %ExampleType }

define void @ManuallyDrop.drop(%ManuallyDrop* %0) {
entry:
  %1 = getelementptr inbounds %ManuallyDrop, %ManuallyDrop* %0, i32 0, i32 0
  call void @forget(%ExampleType* %1)
  ret void
}

define void @forget(%ExampleType* %0) {
entry:
  ret void
}

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