V584. The same value is present on both sides of the operator. The expression is incorrect or it can be simplified.

Analyzer found an expression that can be simplified. The possibility of a misprint presence in it is quite high.

Let's review an example:

float SizeZ;
if (SizeZ + 1 < SizeZ)

The analyzer thinks that this condition contains a mistake because it is practically senseless. Most likely another check was implied. The correct variant:

if (SizeZ + 1 < maxSizeZ)

Of course programmers sometimes utilize some tricks which are formally correct but do appear quite odd. The analyzer tries to detect such situations if possible and not to produce warnings. For instance the analyzer considers such checks as being safe:

//overflow test for summation
int a, b;
if (a + b < a)

//Verifying that x does not equals zero, +infinity, -infinity
double X;
if (X * 0.5f != X)

According to Common Weakness Enumeration, potential errors found by using this diagnostic are classified as CWE-480.

You can look at examples of errors detected by the V584 diagnostic.

Bugs Found

Checked Projects
Collected Errors
14 100
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →