MyStruct * p = & (ptr - >阵列(指数))被翻译是这样的:
p MyStruct类型的指针指向的地址ptr - >阵列+偏移量
Polyspace制止这除了验证如果指针ptr初始化(夹),如果变量指数给抵消初始化(新和合本)。
检查的时刻是当你将废弃的结构由p指出。在这种情况下,你将有一个国内流离失所者检查给废弃的地位。
总是Polyspace放一个检查运行时错误发生的地方,而不是哪里有问题的根源。所以在总结是很正常的,没有国内流离失所者或OBAI因为这里没有废弃和进入细胞的数组,只是计算一个地址和一个偏移量。检查会发生后废弃。
