Polyspace 平台用户界面中的“全局变量使用”

全局变量使用窗格会显示全局变量和局部静态变量。对于每个全局变量，此窗格会列出所有对变量执行读取/写入访问的函数和任务，以及它们的属性（例如值、读取/写入访问和共享使用）。

可以使用结果详细信息窗格中的 图标，或转至视图 > 全局变量使用，来打开全局变量使用窗格。此外，您还可以在源代码窗格中选择一个全局变量，右键点击并选择显示全局变量使用情况，来打开全局变量使用窗格。

对于每个变量和每项读取/写入访问，全局变量使用窗格都包含相关属性。围绕变量，下表中列出了各种属性。

点击某个变量名称可在全局变量访问窗格中查看对该变量执行的读取/写入访问操作。全局变量访问窗格中的箭头符号 （读取）和 分别指示对全局变量执行读取和写入访问的函数。有关这些任务的详细信息，请参阅分析选项Tasks (-entry-points)。

对于针对变量的访问操作，下表中列出了全局变量使用窗格中描述的各种属性。

全局变量访问窗格还会列出对变量执行的访问操作的作用域。

例如，以全局变量 SHR2 为例：

文件 tasks1.c 中的函数 Tserver() 对 SHR2 执行两个写入操作。在全局变量访问窗格中，这由表中标有 的两个 Tserver() 实例予以指示。类似地，任务 initregulate() 的读取访问也列在表中并标有 。

全局变量使用窗格中用于变量的颜色方案为：

如果某个任务对全局变量执行某些操作，但这些操作在不可达代码中，则该任务将被着色为灰色。

从全局变量使用窗格中获取的有关全局变量和读取/写入访问操作的信息称为数据字典。

您还可以从全局变量使用窗格执行以下操作。

class C0 
{ 
public: 
  C0() {} 
  int get_flag() 
  { 
    volatile int rd; 
    return rd; 
  } 
  ~C0() {} 
private: 
  int a;                /* Never read/written */ 
}; 

C0 c0;                  /* c0 is unreachable */ 

int main() 
{ 
  if (c0.get_flag())    /* Uses address of the method */ 
    { 
      int *ptr = take_addr_of_x(); 
      return 1; 
    } 
  else 
    return 0; 
}