СГ>>n = ...
СГ>>while(n --> 0)
СГ>>{
СГ>>  ...
СГ>>}
СГ>>use(n); // теперь n на 1 меньше чем надо (а иногда нет)
СГ>>

К>Моде? Может просто не потрудился прочитать документацию и выяснить разницу между постфиксным и префиксными -- и ++? Просто, на мой взгляд, если не удосужился подумать, то никакая верификация тут не поможет

n = 100;
while(n > 0)
{
  ...;
  n--;
}
assert(n <= 0);

n = 100;
while(n-- > 0)
{
  ...;
}
assert(n <= -1);

  if(условие2);
      return ЧтоТо2(......);

  if(условие2); /* <-- "зевок" остался не уловимым для компилятора */
  {
      return ЧтоТо2(......);
  }

SJA>Да, кстати. Вы знаете, что циклов вего 3 типа ? Так вот, иначе говоря, только WHILE и REPEAT, но не LOOP.

loops

Loops allow you to have a set of statement repeated over and over again.

endless loop

The endless loop is a loop which never ends and the statements inside are repeated forever. Never is meant a relative term here — if the computer is switched off then even endless loops will end very abruptly.

loop :

  Do_Something;   

repeat

loop with condition at the beginning

this loop has a condition at the begin. The statements are repeated as long as condition is met. If the condition is not met at the very beginning then the statements inside the loop are never executed.

while (X < 5) :

  let X := Calculate_Something

repeat

loop with condition at the end

This loop has a condition at the end and the statements are repeated until the condition is met. Since the check is at the end the statements are at least executed once.

loop

    X := Calculate_Something

until (X > 5)

loop with condition in the middle

Sometimes you need to first make a calculation and exit the loop when a certain criteria as met. However when the criteria is not met there is something else to be done. Hence you need a loop where the exit condition is in the middle.

loop

   X := Calculate_Something

   if X > 5 : exit

   Do_Something (X)

repeat

for loop

Quite often one needs a loop where a specific variable is counted from a given start value up or down to a specific end value. You could use the while loop here — but since this is a very common loop there is an easier syntax avaialable.

for I := 1 to 10 :
 
   Do_Something (I)

repeat

for loop on arrays

Another very common situation is the need for a loop which iterates over every element of an array. The following sample code shows you how to archive this:

for-each I in X :

    X [I] := Get_Next_Element;

repeat

In May 1966, Bohm and Jacopini published an article in Communications of the ACM which showed that any program with gotos could be transformed into a goto-free form involving only choice (IF THEN ELSE) and loops (WHILE condition DO xxx), possibly with duplicated code and/or the addition of Boolean variables (true/false flags). Later authors have shown that choice can be replaced by loops (and yet more Boolean variables).

The fact that such minimalism is possible does not necessarily mean that it is desirable; after all, computers theoretically only need one machine instruction (subtract one number from another and branch if the result is negative), but practical computers have dozens or even hundreds of machine instructions.

СГ>n := 100;
СГ>WHILE n > 0 DO ...; DEC(n) END;
СГ>ASSERT(n <= 0)

СГ>n := 100;
СГ>REPEAT ...; DEC(n) UNTIL n = 0
СГ>ASSERT(n = 0)

REPEAT ...; DEC(n) UNTIL n >= 0

while(n > 0)
{
}

do
{
}
while(n > 0);

n = n - 1;
return n + 1;

- Петька приборы!
— 30!
— Что "30"?!
— А что "приборы"?!!!

while (dest[i++] = src[j++]);