Почему Splint не предупредит о «переназначении переменной перед использованием»? - PullRequest
0 голосов
/ 06 мая 2019

Вот код

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

Я проверил код с помощью шины, и он говорит: «Никаких предупреждений». На самом деле, a переназначается 3 до использования старого значения 2. Это может означать потенциальный дефект.

Какие аргументы командной строки я должен передать, чтобы найти ошибку, или шина просто игнорирует проблему?

...