SA0040: Possible division by zero

Detects code locations where there is possible division by zero

Justification: Division by 0 results in an error. A variable to be divided should always be checked for 0 first.

Importance: High

Example 49. Example

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

Output in the Messages view: