Exponenta Banner
exponenta event banner

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

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

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

Описание

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

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

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

В результатах проверки эти переменные окрашиваются в серый цвет на панелях Источник (Source), Список результатов (Results List) и Доступ к переменным (Variable Access). На панели Источник раскраска применяется к переменной только во время объявления. На панели Сведения о результате (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

Поддержка