SA0001: Código inalcanzable

Detecta líneas de código que no se ejecutan, por ejemplo debido a un RETURN o CONTINUE declaración

Justificación: Siempre se debe evitar el código inalcanzable. El prueba a menudo indica que todavía existe un código de prueba que debe eliminarse.

Importancia: Alta

Regla PLCopen: CP2

PROGRAM PLC_PRG
VAR
    xReturn_Before_End: BOOL;
    xContinue_In_Loop_FUN: BOOL;
    iCounter: INT;
END_VAR

xContinue_In_Loop_FUN := FALSE;
FOR iCounter := INT#0 TO INT#5 BY INT#1 DO
    CONTINUE;
    xContinue_In_Loop_FUN := FALSE;
END_FOR