SA0012：可以声明为常量的变量
检测未使用写权限访问的变量，因此可以声明为常量
理由：如果变量仅在声明点写入并且仅用于读取，则静态分析假定该变量也不应该被更改。首先，声明为常量会导致检查程序更改时变量是否未更改。其次，声明为常量可能会导致代码更快。
重要
如果一个项目中存在多个应用程序，则仅影响当前活动应用程序下的对象。如果只有一个应用程序，那么公共 POU 池中的对象也会受到影响。
重要性：低
例 24. 例子
PROGRAM PLC_PRG
VAR
iVar : INT := INT#17;
iTest : INT;
END_VAR
iTest := iTest + iVar; // SA0012: 'iVar' could be declared as constant
输出在 留言 看法：
SA0012：变量“iVar”可以声明为常量