Skip to main content

C2006

不得有死代码

Category: Required

Decidability: Undecidable

Scope: System

说明

任何被执行的操作,如果将其删去不会影响程序行为,即为 死代码 。本规则假定通过语言扩展引入的操作总会影响程序行为。

登录查看完整文章