V622. Consider inspecting the 'switch' statement. It's possible that the first 'case' operator is missing.


The analyzer has detected a potential error: the first operator in the 'switch' operator's block is not the 'case' operator. It causes the code fragment never to get control. Consider this example:

char B = '0';
int I;
...
switch(I)
{
  B = '1';
  break;
case 2:
  B = '2';
  break;
default:
  B = '3';
  break;
}

Assignment "B = '1';" will never be performed. This is the correct code:

switch(I)
{
case 1:
  B = '1';
  break;
case 2:
  B = '2';
  break;
default:
  B = '3';
  break;
}

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

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


Bugs Found

Checked Projects
367
Collected Errors
13 552