Re: "continue/next" for "loop"

[Stefan Lucks <lucks@th.informatik.uni-mannheim.de>]

Lutz,

as far as I can see, your program fragment never terminates: There is no
"exit inner" in your code, and thus the"exit outer" is dead code.  Am I
missing something?

On Mon, 3 Nov 2003, Lutz Donnerhacke wrote:

> outer: loop
>   inner: loop
>     Complex_Actions_1;
>     if First_Condition then
>       Some_Justify_Actions;
>       goto next_outer;
>     end if;
>     Complex_Actions_2;
>     if Second_Condition then
>       Some_Other_Justify_Actions;
>       goto next_outer;
>     end if;
>     Complex_Actions_3;
>   end loop inner;

-- The next three lines seem to be DEAD CODE:

>   Complex_End_Statments;
>   exit outer when Other_Condition;
>   More_Statments;

>   <<next_outer>> null;
> end loop outer;


If you really want to describe a nonterminating loop, you could delete the
dead code lines and replace both goto statements by "exit inner". My guess
is, this is not what you are looking for. Could this be due to another
oversimplification?

Stefan


-- 
Stefan Lucks      Th. Informatik, Univ. Mannheim, 68131 Mannheim, Germany
            e-mail: lucks@th.informatik.uni-mannheim.de
            home: http://th.informatik.uni-mannheim.de/people/lucks/
------  I  love  the  smell  of  Cryptanalysis  in  the  morning!  ------