Var : BOOL:= %IX0.0; // +1 [...] _VAR //Implementation xVar := %IX0.0 [...] access %QX0.0 := x

バージョン V5.0.0.0 では [...] 伝播の結果はさまざまなチェックに使用されます。たとえば、ポインタが 0 に等 [...] ; testArray : ARRAY [0

Var1 - lrVar2) < 0.1; 例外: との比較 0.0 この分析では報告されていません。 0 については、IEEE 754

除算が発生する可能性のあるコードを判別します。 正当化: による除算 0 エラーが発生します。除算する変数は常に最初に 0 であ [...] Val2 <> 0 THEN iVal1 := i

; END_VAR xVar := %IX0.0; %QX0.0 := xVar; %MX0 [...] 0047: 直接アドレス '%IX0.0' への

Var1 AT %IX0.0 : BOOL [...] 1 : BYTE; xVar2 AT %QX0.0 [...] 0048: 宣言では直接アドレス '%IX0.0

CODESYS Static Analysis CODESYS GmbH バージョン: V5.0.0.0、2024 年 4

_GLOBAL g_xVar AT %QX0.0 [...] %QW0 : INT ; END [...] _iCondition < INT#0 THEN g

する前に <> 0 であ [...] instNoInitITF <> 0 [...] interface can't be 0 END

_GLOBAL g_xGlob AT %QX0.0 [...] VarOut2 := INT#0; x