如何让GCC检测代码中的冗余赋值并发出警告？

先看这段代码：

int foo(int a) {
   int b;
   b = 0;
   b = a+1;
   return b;
}

其中b = 0是完全冗余的赋值，GCC会在优化阶段自动移除它，但我们需要触发警告来清理这类代码。你提到的-Wunused-value选项无效，是因为它主要针对表达式的值未被使用（比如单独执行a+1;这种无意义语句），并不适用于变量赋值后未使用就被覆盖的场景。

正确的做法是：

• 开启至少-O1的优化级别（GCC需要优化阶段的数据流分析才能识别出这类冗余赋值）
• 使用-Wunused-but-set-variable选项（该选项已包含在-Wall中，无需单独指定）

示例编译命令：

gcc -Wall -O1 your_code.c

执行后GCC会输出类似警告：

warning: variable ‘b’ set but not used [-Wunused-but-set-variable]

如果不想启用-Wall里的所有警告，也可以单独指定选项：

gcc -Wunused-but-set-variable -O1 your_code.c

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