_GLOBAL g_xGlob AT %QX [...] _OUTPUT xVarOut1:BOOL; xVarOut2:INT; xVarOut3:INT

PROGRAM PLC_PRG VAR xBool1, xBool2 : BOOL; xResult : BOOL; END_VAR x

PROGRAM PLC_PRG VAR xTemp1, xTemp2 : BOOL; END_VAR xTemp1 := x

_GLOBAL g_xGlob AT %QX [...] _INPUT xVarIn1 : BOOL; x [...] Condition OF INT#1: g_x

_PRG //Declaration VAR x: INT; b [...] _VAR //Implementation x := 99; IF x [...] 实现中，常量传播记录了值 99 对于变量 x

Cond2:INT := INT#2; x [...] Cond2 := INT#2; END_IF IF x [...] 0095 xCond := FALSE

Inversion1 VAR xA, xB, x [...] ; IF NOT(xA AND xB AND xC) THEN i

_GLOBAL g_xVar AT %QX [...] Temp := g_xVar; // SA0043 - g_xVar only read

: STRUCT xA : BOOL; x [...] ; END_VAR VAR xA : BOOL := refTeststruct.x

Var : DINT; xTemp : BOOL [...] Var OF DINT#1: x [...] _Enum.zwei, DINT#3: //SA0077 x