Skip to main content

SA0180: El rango de índice no cubre toda la matriz

Detecta matrices con un rango de índice cubierto de forma incompleta

Las matrices a menudo se manejan en bucles, donde el índice del bucle indexa la matriz para que todos los componentes de la matriz salten sin espacios. Esto se da si el índice del bucle y el índice de la matriz son los mismos en todas las dimensiones. Si el rango del índice no cubre completamente la matriz, esto indica que hay componentes no controlados en la matriz.

Importancia: Media

ejemplo 131. Ejemplo
{attribute 'do-analysis'}
PROGRAM PLC_PRG
VAR
    a : INT;
    arWord : ARRAY [0..100] OF WORD;
END_VAR
//Implementation
FOR a := INT#1 TO INT#100 BY 1 DO //SA0180: Lower range is not reached
	arWord[a] := INT_TO_WORD(a);
END_FOR;
;

Salida en el Mensajes vista:

  • sa_icon_message.png SA0180: El rango del índice no cubre toda la matriz