如何使用GCC中-fdump-tree选项的graph参数？

我之前也踩过这个坑——用-fdump-tree-cfg-lineno生成的CFG按函数拆分，想和Gcov的覆盖数据对应上确实麻烦。下面几个实用的方法可以帮你把CFG节点和测试执行路径关联起来：

1. 生成可可视化的统一CFG文件 #

GCC支持生成VCG格式的CFG输出，这种格式可以用可视化工具打开，而且会保留行号和函数关联，方便直接和Gcov的行覆盖数据对应。

编译时加上这些参数：

gcc -O0 -g -fdump-tree-vcg -fprofile-arcs -ftest-coverage your_source.c

编译完成后会生成一个your_source.c.003t.vcg文件，你可以用vcgviewer或者xdot打开它。每个节点会标注对应的源代码行号，你可以直接对照Gcov生成的.gcov文件里的执行计数，一眼看出哪些路径被测试覆盖了。

2. 合并CFG输出到单个文件，用脚本关联Gcov数据 #

默认的-fdump-tree-cfg-lineno会按函数拆分输出，但你可以用-dumpbase参数把所有函数的CFG集中到一个文件里：

gcc -O0 -g -fdump-tree-cfg-lineno -dumpbase unified_cfg -fprofile-arcs -ftest-coverage your_source.c

生成的unified_cfg.c.003t.cfg-lineno会包含所有函数的CFG节点，虽然还是按函数分块，但至少在同一个文件里，方便你搜索行号。

接下来可以写个简单的Python脚本，做两件事：

• 从CFG文件里提取每个节点的行号、跳转目标
• 从.gcov文件里读取对应行的执行次数
• 把两者合并成一个带覆盖信息的CFG路径表

比如脚本的核心逻辑大概是这样：

# 读取Gcov数据
gcov_data = {}
with open("your_source.gcov", "r") as f:
    for line in f:
        if line.startswith("        "):
            count, lineno, content = line.split(":", 2)
            gcov_data[int(lineno.strip())] = int(count.strip())

# 读取CFG节点并关联
with open("unified_cfg.c.003t.cfg-lineno", "r") as f:
    current_func = ""
    for line in f:
        if line.startswith(";; Function"):
            current_func = line.split()[1]
        elif "lineno:" in line:
            lineno = int(line.split("lineno:")[1].strip())
            if lineno in gcov_data:
                print(f"函数 {current_func} 行 {lineno}: 执行次数 {gcov_data[lineno]}")
            # 这里可以继续提取跳转目标等信息

3. 直接用GCC的RTL级CFG输出 #

如果需要更底层的路径信息，可以用-fdump-rtl-dfg参数生成数据流图，它会包含更详细的跳转和执行信息，而且同样可以和Gcov的行覆盖对应：

gcc -O0 -g -fdump-rtl-dfg -fprofile-arcs -ftest-coverage your_source.c

生成的.dfg文件里每个基本块都会标注对应的源代码行号，你可以结合Gcov里的计数，分析每个基本块的执行情况。

实操示例 #

比如你的.gcov文件里有这样的内容：

15:    4    int main() {
        15:    5        int x = rand() % 2;
         8:    6        if (x == 0) {
         8:    7            puts("Path A");
         8:    8        } else {
         7:    9            puts("Path B");
         7:   10        }
        15:   11        return 0;

你在VCG可视化的CFG里找到对应行6的节点，就能看到它有两个跳转分支：一个到行7（执行8次），一个到行9（执行7次），和Gcov的数据完全对应，一眼就能看出测试用例覆盖了两条路径。

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