Debug symbols稳定性：重新编译的调试符号能否匹配原有程序core dump？

• 首先，绝大多数满足前置条件的场景下你可以用main2.debug调试coredump1，但不存在100%的绝对保证。
• 调试符号对齐的前提是两次编译的所有输入完全一致：源码内容100%相同、编译器版本完全相同、编译参数（包括优化等级、宏定义、链接参数等）完全相同、依赖的头文件/库文件完全相同、甚至会影响编译器行为的环境变量也完全一致。只要所有输入无差异，编译器生成的代码段、数据段的布局和偏移就会完全一致，调试符号就能完美对齐。
• 这个一致性不是C/C++语言标准规定的内容，属于编译器实现层面的约定：遵循ELF二进制规范、DWARF调试信息规范的编译器（GCC、Clang等）默认都会保证相同输入得到相同输出，属于编译器的确定性实现特性，没有强制的规范要求。
• 如果源码中使用了__DATE__、__TIME__这类编译时动态生成的宏，只要两次编译不在同一秒内执行，生成的字符串常量内容、长度就会有差异，会导致只读数据段的偏移变化，后续所有段的地址布局都会受影响，调试符号就无法匹配。除非你显式通过-D__DATE__="固定字符串"、-D__TIME__="固定字符串"的编译参数强制覆盖这两个宏的默认值，才能保证两次编译结果一致。
• 开启代码优化的场景下这套方案依然有效：代码优化是确定性的编译过程，只要两次编译的优化参数完全一致、其他输入也完全相同，编译器就会生成完全相同的优化后二进制和对应的调试符号，不会影响匹配效果。如果开启了链接时优化（LTO），只需要额外保证两次编译的LTO相关参数完全一致即可。

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