未使用的变量
已声明但未使用的全局变量
描述
未使用的非共享全局变量具有以下属性:
该变量已在代码中声明。
Polyspace® 无法检测到针对该变量的读取或写入操作。
在您的验证结果中,这些变量在源、结果列表和变量访问窗格中被着色为灰色。在源窗格中,仅在声明期间才会向变量应用着色。在结果详细信息窗格中,变量名称将与定义该变量的文件的名称一起显示(对于定义不可用的 extern
变量,系统会使用 ?extern
作为文件名)。
注意
该软件不会显示未使用的全局变量的完整列表。特别是在 C++ 工程中,可以禁止显示未使用的全局变量。
示例
检查信息
语言:C | C++ |