c - 为什么 Splint 不会警告“变量在使用前重新分配”？

Question

这是代码

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

我用夹板检查了代码，它说“没有警告”。实际上，a在使用旧值 2 之前重新分配了 3。这可能预示着潜在的缺陷。

我应该传递哪些命令行参数来查找缺陷，或者夹板只是忽略了问题？