while(1){;} 加分号的作用 是在polyspace静态代码扫描的时候，告诉扫描工具，这个地方是故意留下来的死循环，这样就不会报错了
-
区分"错误"与"意图" ：如果循环体完全为空
{}，Polyspace 可能会将其视为可疑代码，因为它看起来像是一个可能导致程序逻辑错误的"空循环"缺陷。 -
分号作为"显式声明" ：写入分号
;，在语法上构成了一条空语句（Null Statement） 。这在分析工具的"眼"里，明确表示"此处有一条语句，但它的行为就是什么都不做"。这相当于一个显式声明，告诉 Polyspace："这个循环体是故意保持为空的"。