GIMPLE中x_n（D）的定义在哪里？

Question

我使用GCC的-fdump-tree-optimized从C代码生成了GIMPLE代码，发现存在一个没有其定义的SSA变量：

git

cond_2（D）的定义是否隐藏？ GCC中是否有任何内部数据结构可以维护cond_2（D）的定义？

输入的C程序如下：

f (int cond)
{
  int _1;

  <bb 2> [100.00%]:
  if (cond_2(D) != 0)
    goto <bb 4>; [46.00%]
  else
    goto <bb 3>; [54.00%]

  <bb 3> [54.00%]:

  <bb 4> [100.00%]:
  # _1 = PHI <10(2), 20(3)>
  return _1;

}