调试低级 gcc 中间代码表示

Question

关于我还有一个问题。

我成功重现了，这里不再复制粘贴代码，你可以找到代码。我只把编译后的输出粘贴到我的电脑上。

% gcc -std=c11 -O3 -g -Wall -Wextra -Werror -USUPPRESS_BUG  -c  msg_gcc.c
msg_gcc.c: In function 'function_under_test':
msg_gcc.c:30:9: error: 'strncpy' output may be truncated copying 128 bytes from a string of length 128 [-Werror=stringop-truncation]
         strncpy(name, name_in_queue, SERVERNAME_LEN);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
cc1: all warnings being treated as errors
-root-@ @...| test | stub
% gcc --version
gcc (GCC) 8.2.1 20181127
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

-root-@ @...| test | stub
% cat /proc/version
Linux version 5.0.7-arch1-1-ARCH (builduser@heftig-20167) (gcc version 8.2.1 20181127 (GCC)) #1 SMP PREEMPT Mon Apr 8 10:37:08 UTC 2019
-root-@ @...| test | stub

我希望我能理解编译器在哪个阶段检测到此类库问题。我知道代码以许多中间语言进行了转换，例如泛型、gimple、ssa、rtl、组合器等，但我不知道在这些表示中的哪些代码中检查了此编译命令中的此类问题.

如果我想调试中间表示并发现此问题的存在，我应该向 gcc 传递哪些参数，以便它在生成此警告之前尽可能停止中间语言的生成？

Answer 1

您的 error/warning 似乎来自 here。如果我没有理解错的话，这是来自 SSA 表单生成阶段。

另外 this 问题可能会提供有关如何为 gcc 转储不同中间表示的有用提示。我知道如何针对 clang 执行此操作，但您的问题似乎是特定于 gcc 的。

调试低级 gcc 中间代码表示

debug low level gcc intermediate code representations

c

gcc

intermediate-language