C1307

只有寻址同一数组元素的指针之间才能进行减法运算

Category: Required

Decidability: Undecidable

Scope: System

依据

本规则适用于如下格式的表达式：

登录查看完整文章