主要内容

未使用的变量

已声明但未使用的全局变量

描述

未使用的非共享全局变量具有以下属性:

  • 该变量已在代码中声明。

  • Polyspace® 无法检测到针对该变量的读取或写入操作。

在您的验证结果中,这些变量在结果列表变量访问窗格中被着色为灰色。在窗格中,仅在声明期间才会向变量应用着色。在结果详细信息窗格中,变量名称将与定义该变量的文件的名称一起显示(对于定义不可用的 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 工程中的以上代码,则软件会将 var2var3var4 列为非共享未使用变量,并将 var1 列为非共享已使用变量。

var3var4 用在不可达代码中,因此被标记为未使用。

注意

在 C++ 工程中,软件不会列出未使用的变量 var2

检查信息

语言:C | C++