int i = 0;
while(str[i] != ch || str[i] != 0) i++;
if(str[i] == 0) // символ не найден
else // символ найден

long fact = 1;
int i = 0;
for(i = 1; i < 10; i++) fact *= i;
if(i < 10)
{
    // по какой-то причине цикл не выполнился до конца...
}

A>>P.S. Mr. None, только на мою фразу про "никто не понимает" обижаться не нужно Сгоряча сказалось.

for (int i = 1; i <= 10; i++) printf("%i\n", i);

class a
{
a() {}
~a() {}
}

П>Детский сад, честное слово. Вы таки объяснить можете, чем одно от другого отличается? Про "выполняется или нет следующая команда" рассказывать не надо: вот здесь, например, она вполне себе выполняется в обоих случаях:

П>LOOP
П>    WHILE 1<2 DO
П>    IF 3<4 THEN EXIT END
П>    END
П>END
П>A := B;
П>

П>while (1<2) {
П>    if (3<4) break;
П>}
П>a = b;
П>

П>

LOOP
  WHILE 1<2 DO
    IF 3<4 THEN EXIT END
  END;
  B := C
END;
A := B

MN>It is possible to transfer into a block, but not in a way that bypasses declarations with initialization. A program
MN>that jumps77) from a point where a local variable with automatic storage duration is not in scope to a point where it is in scope is illformed unless the variable has POD type (3.9) and is declared without an initializer (8.5).
MN>[Example:

MN>void f()
MN>{
MN>    // ...
MN>    goto lx; // illformed: jump into scope of a
MN>    // ...
MN>ly:
MN>    X a = 1;
MN>    // ...
MN>lx:
MN>    goto ly; // OK, jump implies destructor
MN>    // call for a followed by construction
MN>    // again immediately following label ly
MN>}

MN>—end example]

void foo() {
  ...
  goto after_x; // нет проблем: x не инициализируется
  .../*1*/
  int x;
  .../*2*/
after_x:;
  ...
  goto after_y; // а вот за это - бьём по пальцам
  ...
  int y = 123;
  ...
after_y:;
  ...
}

void foo() {
  int x; // объявили переменную в начале функции - как это принято в С
  ...
  goto after_x;
  .../*1*/
  // начиная с этого места, x упоминается в коде
  .../*2*/ // возможно, где-то здесь мы делали присваивание
after_x:;
  ...
}

П>step := get_step();
П>i := 0;
П>LOOP 
П>    IF i >= max_level THEN EXIT END;
П>    sound_level(i);
П>    i := i + step;
П>    IF manual_interrupt() THEN EXIT END;
П>END
П>

step := GetStep();
IF (step > 0) & (maxLevel > i0) THEN
  i := i0;
  REPEAT SoundLevel(i); INC(i, step) UNTIL (i >= maxLevel) OR ManualInterrupt()
END

while(i < x)
{
    if(a)
        finish;
}

A>class a
A>{
A>a() {}
A>~a() {}
A>}
A>

struct a
{
   int a;
   double b;
};

A>>class a
A>>{
A>>a() {}
A>>~a() {}
A>>}
A>>

Стандарт, 9.4
...A POD-struct is an aggregate class that has no nonstatic data members of type pointer to member, non-POD-struct,
non-POD-union (or array of such types) or reference, and has no userdefined copy assignment operator and no userdefined destructor...

LOOP
  WHILE bool DO
    IF 3<4 THEN EXIT END
    bool := false;
  END;
END;
IF Not bool THEN print("We did it!");

WHILE random(0,1) > 0.5 DO
    ...
END;
IF random(0,1) <= 0.5 THEN print("We did it!");