Skip to main content

C1308​

对指针操作数进行算术运算得来的指针只得用于寻址与指针同一数组的元素​

Category: Required

Decidability: Undecidable

Scope: System

说明​

创建一个指针,该指针指向数组末尾之后的一个元素,这在C语言标准中是定义良好的行为,本规则也允许这种行为。对这样的指针解引用(dereference)会导致未定义行为,因此为本规则所禁止。

登录查看完整文章