C1205

对于具有自动存储周期的对象，不得在设定它的值之前读取它的值

Category: Mandatory

Decidability: Undecidable

Scope: System

说明

本规则要求数组内的一个元素或一个结构体成员必须被视为一个分散的对象。

登录查看完整文章