冗余分配的gcc警告

假设我有这样的代码:

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

任务 b=0 显然是多余的,不需要。可以 gcc 发现这样的错误?

我知道它会被优化,但我也想看到一个警告(并清理它)。

我认为 -Wunused-value 应该使用它,但进行小型测试( gcc version 11 )证明我错了。那么 gcc 能帮忙吗?