This procedure processes While statement. If condition expression is constant at compile time and evaluates to False, no code is generated. All jumps out of the loop (Break, Continue) are also taken into account.