静态程序分析：cppcheck标记变量声明时的冗余分配

Question

想象一下：

#define OK 0
#define ERROR -1

int foo(void) {
int rv = OK;

rv = bar();

return rv;
}

在这种情况下，cppcheck会将行int rv = OK;标记为带有Message: Variable 'rv' is reassigned a value before the old one has been used.的冗余分配

我想知道为什么会这样，我认为初始化变量是正确的事情，不是吗？