c - 为什么 #line 指令没有在 clang 的 false #if 中处理？

Question

考虑以下 test.c:

int main(void)
{
  int a;
#if 1==0
#line 1 "test.c"
#endif
  a = 1;
  return 0;
}

请注意，#if 条件在这里为假。

我需要这样做，以便在执行以下命令后输出不会为空:

clang -g test.c
objdump -D a.out >dis
sed -i 's/line 1/line 2/' test.c
clang -g test.c
objdump -D a.out | diff dis -

要明确区别:如果我们将示例中的 1==0 更改为 1==1 并运行上面的代码命令，我们得到以下输出:

749c749
<   33: 05 05 0a c8 05          add    $0x5c80a05,%eax
---
>   33: 05 05 0a c9 05          add    $0x5c90a05,%eax

换句话说，我需要让 clang 始终遵循 #if 中的 #line 指令，即使它是 false。

这是正确编译 ctangle 输出所必需的。否则警告和调试行号都是错误的。

这应该不难做到，因为#if-#endif 中的行是无论如何都要扫描。

#if-#endif 之外的#line 指令(以及内部 - 当它为真时)会根据需要进行处理。

所以，我只需要结合这两种行为——执行必要的操作处理#if-#endif 中的#line 指令。

有人可以指出如何更改 clang 源的正确方向吗？ (任何 clang 版本都可以)

Answer 1

这个问题可以在ctangle.w中通过在每个#endif之后输出#line来解决，如下:

@x
case identifier: a=id_lookup(id_first,id_loc,0)-name_dir;
  app_repl((a / 0400)+0200);
  app_repl(a % 0400); break;
@y
case identifier: a=id_lookup(id_first,id_loc,0)-name_dir;
  app_repl((a / 0400)+0200);
  app_repl(a % 0400);
  if (*buffer=='#' && id_first==buffer+1 && id_loc-id_first==5 && strncmp("endif",id_first,5)==0)
    {@<Insert the line number into |tok_mem|@>}
  break;
@z

现在我们可以在预处理器条件中使用部分。我们可以使用更改预处理器条件的更改文件。