Exponenta Banner

Неразделяемая неиспользованная глобальная переменная

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

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

Описание

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

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

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

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

Примечание

Программное обеспечение не отображает полный список неиспользованных глобальных переменных. Особенно, в проектах 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
Поддержка