Exponenta Banner

Non-shared unused global variable

Глобальные переменные, объявленные, но не используемые

развернуть все на странице

Описание

Неиспользуемая глобальная переменная имеет следующие свойства:

  • Переменная объявлена в коде.

  • Polyspace® не удается обнаружить операцию чтения или записи переменной.

В ваших верификациях результатах эти переменные окрашены в серый цвет на Source, Results List и Variable Access панелях. На панели Source раскраска применяется к переменной только во время объявления. На панели Result Details имя переменной появляется вместе с именем файла, где оно задано (для extern переменные, где определение недоступно, ?extern используется для имени файла.)

Примечание

Программа не отображает полный список неиспользованных глобальных переменных. Особенно в проектах C++ неиспользованные глобальные переменные могут быть подавлены с отображения.

Примеры

расширить все

int var1;
int var2;
int var3;
int var4;

int input(void);

void main() {
    int loc_var = input(), flag=0;

    var1 = loc_var;
    if(0) {
        var3 = loc_var;
    }
    if(flag!=0) {
        var4 =loc_var;
    }


}

Если вы проверяете вышеуказанный код в проекте на C, программное обеспечение перечисляет var2, var3 и var4 как неиспользуемые переменные и var1 как неиспользуемая используемая переменная.

var3 и var4 используются в недоступном коде и поэтому помечены как неиспользованные.

Примечание

В проекте C++ программное обеспечение не перечисляет неиспользованную переменную var2.

Проверяйте информацию

Язык: C | C++

См. также

| | |

Темы

Документация Polyspace Code Prover

Поддержка