QA·C Help - 2831

	2831	Definite: Division by zero.

Overflow and wraparound

A definite anomaly has been detected. Examination of the context indicates that this expression will always result in division by zero.

In the example below, n is zero throughout the code contained in the "if" block and the result of the division operation will always be undefined.


/*PRQA S 587,2017,2983,2986,3103,3199,3203,3227,3408 ++*/
void foo(int x, int n)
{
   int r;

   if (n == 0)
   {
      r = x / n;              /* 2831 */
   }
}

See also:

2830 Constant: Division by zero.
2832 Apparent: Division by zero.
2833 Suspicious: Division by zero.
2834 Possible: Division by zero.

Personality Groups | Glossary | Message Index

Contents