在GCC源码中查找cfg_hooks函数指针指向的函数实现位置

在GCC架构里，cfg_hooks是全局钩子结构体指针，用来适配不同阶段的控制流图（CFG）实现（比如GIMPLE、RTL等中间表示阶段），它的predict_edge成员是函数指针，具体指向的实现会随当前激活的CFG类型变化。

你可以通过以下步骤定位具体函数体：

• 定位cfg_hooks的赋值点
  在GCC源码里搜索全局赋值语句cfg_hooks =，会找到多个赋值位置，对应不同阶段的CFG实现：

  • GIMPLE阶段的CFG通常在gimple-cfg.cc中，会定义struct cfg_hooks gimple_cfg_hooks，并通过cfg_hooks = &gimple_cfg_hooks;激活，这个结构体的predict_edge成员会指向GIMPLE阶段的具体实现函数（比如gimple_predict_edge）。
  • RTL阶段的CFG可能在rtl-cfg.cc中，对应rtl_cfg_hooks结构体，其predict_edge成员指向rtl_predict_edge。

• 搜索具体实现函数
  直接搜索函数定义（而非函数指针声明），比如查找模式void *predict_edge(edge e, enum br_predictor predictor, int probability)，或者精准搜索gimple_predict_edge、rtl_predict_edge这类带前缀的函数名，就能找到对应的函数体。

• 验证钩子结构体初始化
  每个CFG对应的钩子结构体（如gimple_cfg_hooks）在定义时会初始化所有成员，其中就包括predict_edge的赋值，示例如下：

  struct cfg_hooks gimple_cfg_hooks = {
    ...
    .predict_edge = gimple_predict_edge,
    ...
  };
  

  这里的gimple_predict_edge就是实际执行的函数体所在。

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