为什么夹板不警告“变量在使用前已重新分配”？

Question

这是代码

int main(){
    int a=1;
    a=2;
    a=3;
    return a;
}

我用夹板检查了代码，并显示“无警告”。实际上，a在使用旧值2之前已重新分配3。这可能表示潜在的缺陷。

我应该通过哪些命令行参数来发现缺陷，或者夹板只是忽略了问题？