0

これがコードです

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

コードをスプリントでチェックしたところ、「警告なし」と表示されました。実際にaは、古い値 2 が使用される前に 3 が再割り当てされます。これは、潜在的な欠陥を示す可能性があります。

欠陥を見つけるには、どのコマンドライン引数を渡す必要がありますか? または splint は問題を無視しますか?

4

0 に答える 0