SA0040: Possible division by zero

Detects code locations where there is possible division by zero

Justification: Division by zero should never occur, and a variable denominator should always be checked for 0 first.

Importance: High

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

--> SA0040: Possible division by zero
--> SA0040: Possible division by zero