未使用的变量

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

全页展开

描述

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

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

  • 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 工程中的以上代码，则软件会将 var2、var3 和 var4 列为非共享未使用变量，并将 var1 列为非共享已使用变量。

var3 和 var4 用在不可达代码中，因此被标记为未使用。

注意

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

检查信息

语言：C | C++

另请参阅

| | |

主题