Skip to main content

SA0040 : Possible division par zéro

Détecte les emplacements de code où il y a une division possible par zéro

Justification : Division par 0 entraîne une erreur. Une variable à diviser doit toujours être vérifiée en premier pour 0.

Importance : Élevée

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

Sortie dans le messages voir:

  • sa_icon_message.png SA0040 : Division possible par zéro

  • sa_icon_message.png SA0040 : Division possible par zéro



Dans cette section​: