SA0005：无效地址和数据类型

检测无效地址和数据类型规范。地址中有效的前缀大小：X 代表‎BOOL‎ B 代表 1 字节数据类型，W 代表 2 字节数据类型，D 代表 4 字节数据类型。

理由位于直接地址上的变量最好与其数据类型宽度相对应的地址相关联。例如，如果‎DWORD‎ 被分配到‎BYTE‎ 地址上，可能会让代码读者感到困惑。

重要性：低

示例

PROGRAM Check_Address_Type_PRG
VAR
	iVar AT %QB0 : INT ;   // OK e. g.: %QW0
	xTest AT %QW1 : BOOL ; // OK e. g.: %QX1.0
END_VAR

iVar := iVar + INT#1;
xTest := NOT xTest;

--> SA0005: Invalid address for data type 'iVar'

另见

⮫ “配置和运行静态分析”