我正在编写一些软件，它可以执行一些相当复杂的静态分析和其他程序的动态跟踪。该程序使用大量静态DWARF信息来协助跟踪，包括来自.debug_line DWARF部分的行/列信息。为了使该程序具有我们所需的精度，必须在DWARF调试信息中填充细粒度且准确的行号和列号信息。使用clang我可以强制使用-g -Xclang -dwarf-column-info选项一起填充行和列信息。
但是，在某些情况下，clang不会产生细粒度足够的列信息。一个特定的实例是for循环。请参考以下示例程序，我将其称为source01.c：
1
2 int main ()
3 {
4 int number1 = 10, number2 = 20;
5 for (int i=0; i < 10; ++i) {
6 number1++;
7 number2++;
8 }
9 return 0;
10 }
我可以像这样编译它：
clang -g -Xclang -dwarf-column-info source01.c
生成可执行文件a.out。然后我使用dwarfdump检查行/列信息的填充方式：
dwarfdump a.out > dwarf_info
看一下.debug_line部分，我看到调试信息中包含的所有行/列对此可执行文件：
.debug_line: line number info for a single cu
Source lines (from CU-DIE at .debug_info offset 0x0000000b):
<pc> [row,col] NS BB ET PE EB IS= DI= uri: "filepath"
NS new statement, BB new basic block, ET end of text sequence
PE prologue end, EB epilogue begin
IA=val ISA number, DI=val discriminator value
0x004004f0 [ 3, 0] NS uri: "/xxx/loop_01/source01.c"
0x004004fb [ 4, 5] NS PE
0x00400509 [ 5,10] NS
0x0040051d [ 6, 9] NS
0x00400528 [ 7, 9] NS
0x00400533 [ 5,27] NS
0x00400548 [ 9, 5] NS
0x0040054a [ 9, 5] NS ET
如您所见，有一对（5,10）对应int i=0;，对（5,27）对应++i。但是，我希望（并且需要）那里也是对（5,19），它对应于i < 10，但它不存在。我已经使用objdump检查了可执行文件的说明，并确认确实存在与比较相对应的说明i < 10（因此，它不仅仅是＆＃34;已经优化了＆＃ 34。）
你对于为什么clang不会填充这些信息有直觉吗？或者有没有办法强制clang生成更细粒度的列信息？似乎clang应该具有此功能，因为clang生成的AST在其自身与源代码行和列之间具有非常细粒度的映射。
谢谢。
答案 0 :(得分：0)
这不是一个真正的解决方案，而是一个借口......但
我相信第一个条目（5,8）包含for循环中初始化器和条件语句的代码。当我使用for循环编译程序时，这两个语句最终会出现在连续的地址范围内。
强迫clang为每个语句生成一个单独的条目会很好，但我似乎无法找到任何可以做到这一点的内容。