Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
>
V621. Loop may execute incorrectly...
menu mobile close menu
Additional information
toggle menu Contents

V621. Loop may execute incorrectly or may not execute at all. Consider inspecting the 'for' operator.

Jul 03 2012

The analyzer has detected a potential error: odd initial and finite counter values are used in the 'for' operator. It may cause incorrect loop execution and break the program execution logic.

Consider the following example:

signed char i;
for (i = -10; i < 100; i--)
{
  ...
};

Perhaps there is a misprint here causing the initial and finite values to be mixed up. The error may also occur if operators '++' and '--' are mixed up.

This is the correct code:

for (i = -10; i < 100; i++)
{
  ...
};

The following code is also correct:

for (i = 100; i > -10; i--)
{
...
};

Consider the following code sample found by the analyzer in a real application:

void CertificateRequest::Build()
{
    ...
    uint16 authCount = 0;

    for (int j = 0; j < authCount; j++) {
      int sz = REQUEST_HEADER + MIN_DIS_SIZE;
      ...
    }
}

The 'authCount' variable is initialized by an incorrect value or perhaps there is even some other variable to be used here.

This diagnostic is classified as:

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

close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
close form
Free PVS‑Studio license for Microsoft MVP specialists
close form
To get the licence for your open-source project, please fill out this form
close form
I want to join the test
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam