LLVM程序段错误排查请求：分析函数指针调用崩溃原因

核心错误原因 #

段错误的根源是@IO_init函数的逻辑完全错误：

• 你在函数里用alloca ptr创建了一个栈上的指针变量%self，把传入的堆对象指针%0存在这个栈变量里后，错误地对栈变量本身做了getelementptr inbounds %IO操作——这属于类型不匹配的非法内存操作，最终把vtable存在了栈变量的内存里，完全没修改你malloc出来的IO堆对象。
• 回到main函数，你读取的IO对象vtable字段其实是malloc分配的原始垃圾值，用这个非法指针调用函数，必然触发段错误。

修复后的@IO_init函数 #

删掉冗余的栈变量逻辑，直接操作传入的IO对象指针：

define void @IO_init(ptr %0) {
IO_init_entry:
  ; 直接对传入的IO对象指针做GEP，获取其第一个vtable字段
  %gep = getelementptr inbounds %IO, ptr %0, i32 0, i32 0
  store ptr @IO_vtable, ptr %gep, align 8
  ret void
}

额外潜在问题 #

你的String类型初始化也存在类型不匹配问题：

• %String定义为{ ptr, %Int, [0 x i8] }，第二个字段是%Int（{ ptr, i32 }），但你直接往该字段存字符串，会破坏内存布局。正确做法是定位到第三个柔性数字段再存字符串：

; 替换原String初始化代码
%int_field = getelementptr inbounds %String, ptr %String_malloc, i32 0, i32 1
%int_value = getelementptr inbounds %Int, ptr %int_field, i32 0, i32 1
store i32 19, ptr %int_value, align 4
%str_data = getelementptr inbounds %String, ptr %String_malloc, i32 0, i32 2
store [19 x i8] c"Buenos Dias, Mundo.", ptr %str_data, align 1

排查方法 #

• LLVM解释器调试：用lli -debug运行IR代码，观察内存读写地址是否正确，比如检查IO对象的vtable字段是否确实指向@IO_vtable。
• 目标文件调试：用llc把IR转成汇编，gcc编译成可执行文件后用gdb断点调试，查看main中读取的vtable指针值是否合法。
• 类型匹配检查：LLVM IR对类型严格敏感，所有GEP、store/load操作的类型必须完全匹配，类型不匹配必然导致内存访问错误。

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