SA0040: Posible división por cero
Detecta ubicaciones de código donde existe una posible división por cero
Justificación: División por 0
resulta en un error. Siempre se debe comprobar primero si una variable a dividir es 0.
Importancia: Alta
ejemplo 49. Ejemplo
VAR_GLOBAL g_iVar AT %QW1 : INT; END_VAR
PROGRAM PLC_PRG VAR iCounter : INT; iSumme:INT; iMid:INT; iVal1:INT := INT#2; iVal2:INT; iVal3:INT := INT#3; iVal4:INT := INT#4; iVal5:INT; END_VAR
IF iVal2 <> 0 THEN iVal1 := iVal1/iVal2; // no error END_IF; iMid := iSumme / iCounter; // SA0040 iCounter := iCounter + INT#1; iSumme := g_iVar + iSumme; IF iMid < INT#100 THEN iVal1 := iVal1 / iVal2; // SA0040 END_IF
Salida en el Mensajes vista:
SA0040: Posible división por cero
SA0040: Posible división por cero