Skip to main content

SA0040: Possibile divisione per zero

Determina i codici in cui può verificarsi la divisione per zero.

Motivazione: Divisione per 0 risulta in un errore. Una variabile da dividere deve essere sempre controllata per prima su 0.

Importanza: Alta

Esempio 49. Esempio
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

Uscita in Messaggi vista:

  • sa_icon_message.png SA0040: Possibile divisione per zero

  • sa_icon_message.png SA0040: Possibile divisione per zero



In questa sezione: