SA0124: Desreferencias de punteros en declaraciones

Detecta desreferencias de puntero que se utilizan para la inicialización en la parte de la declaración

Justificación: No se deben utilizar punteros ni referencias para las inicializaciones porque esto puede provocar violaciones de acceso si el puntero no se ha inicializado.

Importancia: Media

TYPE TESTSTRUCT :
STRUCT
    xA : BOOL;
    xB : BOOL;
END_STRUCT
END_TYPE

FUNCTION_BLOCK FB_Test
VAR_INPUT
    pTeststruct : POINTER TO TESTSTRUCT;
END_VAR
VAR
    xA : BOOL := pTeststruct^.xA; //SA0124 
END_VAR

xA := TRUE;

PROGRAM PLC_PRG
VAR
    fbTest : FB_Test;
END_VAR

fbTest();