SA0041：检测可能的循环不变代码 检测循环中为每个循环周期计算相同值的分配。这些代码行可以插入到循环之外。 理由

总是返回 FALSE 在此刻。 循环播放 常量传播将循环代码，直到循环中变量的值不再改变。假设循环可以运行任意次。到目

用常量值定义上限的语句 理由：如果循环的上限是一个变量值，那么就不再可能看到循环执行的频率。这可能会导致运行时出现严重问题。最坏的情况是无限循环

作计数器变量 FOR 循环很容易导致无限循环。要防止针对计数器变量的特定值执行循环

范围未覆盖整个数组 检测索引范围不完全覆盖的数组 数组通常在循环中处理，其中循环索引对数组进行索引，以便数组的所有组件都可以无间隙地跳转到。如果循环

循环，其中

SA0073：使用不充分的计数器变量 检测非临时变量的使用 FOR 循环。 理由：这是一个性能警告。每次

'} 理由： 某些功能块的设计方式是在一个循环

做法是计算辅助变量中的输出变量，并在循环

CONTINUE 或者 EXIT 退出包含代码的循环