SA0133:显式缩小转换 检测从较大数据类型到较小数据类型的显式转换 理由:大量类型转换可能表明您为变量选择了错误的数据类型。因此,有一些编程指南要求对数据
SA0077:类型与 CASE 表达式不匹配 检测条件数据类型与条件数据类型不匹配的代码位置 CASE 分支 理由:如果数据
号转换 检测从有符号数据类型到无符号数据类型的显式转换,反之亦然 理由:过度使用类型转换可能表明为变量选择了错误的数据类型。因此,有一些编程指南要求对数据
作数按位移位(bit shift)的情况下,检测是否超出了操作数的数据类型宽度 理由:如果移位操作超出数据类型宽度,则为常数 0 生成。 如果旋转移位超过数据
位访问 -strict 检测未对位域数据 [...] 61131-3 标准只允许对位域数据类型进行位访问。但是,那 CODESYS 编译器还允许对无符号数据
常的班次操作 -strict 检测不对位域数据 [...] -3 标准只允许对位域数据类型进行位访问。但是,那 CODESYS 编译器还允许对无符号数据
元素和子元素都从一个实例复制到另一个实例。指向数据的指针也会被复制,但不会复制它们引用的数据,因此目标实例和源实例在赋值后包含相同的数据
属性:nameprefix 该属性为结构化数据类型的变量定义前缀。前缀 [...] 此命名约定。 插入位置 :在声明结构化数据
对程序或功能块的局部变量进行外部读取访问。这违背了数据封装(隐藏数据)的原
)。在对位域数据 [...] : CODESYS 允许对有符号数据