为何函数断点位置比函数地址偏移4字节？

问题场景 #

我有如下main.cpp文件：

#include <iostream>

int foo() {
  return 123;
}

int main() {
  int a = 1234;
  std::cout << foo() + a << std::endl;
  return 0;
}

使用以下命令编译：

clang++ -g -O0 main.cpp

生成a.out后，通过dsymutil -s a.out查看符号表，可知foo函数的地址为0x100003ce0。

但用LLDB设置断点时：

% lldb a.out
(lldb) target create "a.out"
Current executable set to '/Users/royshi/tmp/a.out' (arm64).
(lldb) b foo
Breakpoint 1: where = a.out`foo() + 4 at main.cpp:4:3, address = 0x0000000100003ce4
(lldb)

断点地址0x100003ce4比函数地址偏移了4字节。

补充测试 #

将a.out.dSYM文件夹移至不可访问位置后，再次设置断点，断点地址与函数地址一致（无偏移），说明该现象与调试符号相关：

# 移动a.out.dSYM至其他位置
% mv a.out.dSYM tmp2

% lldb a.out
(lldb) target create "a.out"
Current executable set to '/Users/royshi/tmp/a.out' (arm64).
(lldb) b foo
Breakpoint 1: where = a.out`foo(), address = 0x0000000100003ce0
(lldb) ^D

原因解析 #

这个偏移是ARM64架构特性与LLDB调试符号逻辑共同作用的结果：

• ARM64函数的入口地址（符号表记录的0x100003ce0）对应函数序言的第一条指令——通常是stp x29, x30, [sp, #-16]!，用于保存帧指针和链接寄存器，这条指令刚好占4字节。
• 当存在.dSYM调试符号时，LLDB会根据调试信息定位到函数体内第一条可执行语句的地址，也就是代码中return 123;所在的行（main.cpp第4行）。这条语句的地址跳过了4字节的序言初始化指令，所以断点地址是0x100003ce4。
• 移除.dSYM后，LLDB失去了精确的源代码行映射信息，只能依赖二进制符号表中的函数入口地址设置断点，因此地址与符号表记录一致。

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