From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,459feef56669b92d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-11-03 07:11:03 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!news.belwue.de!news.uni-mannheim.de!th!lucks From: Stefan Lucks Newsgroups: comp.lang.ada Subject: Re: "continue/next" for "loop" Date: Mon, 3 Nov 2003 16:08:43 +0100 Organization: Rechenzentrum Uni-Mannheim Message-ID: References: NNTP-Posting-Host: th.informatik.uni-mannheim.de Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: trumpet.uni-mannheim.de 1067872124 18564 134.155.91.85 (3 Nov 2003 15:08:44 GMT) X-Complaints-To: usenet@trumpet.uni-mannheim.de NNTP-Posting-Date: Mon, 3 Nov 2003 15:08:44 +0000 (UTC) In-Reply-To: Xref: archiver1.google.com comp.lang.ada:1985 Date: 2003-11-03T16:08:43+01:00 List-Id: 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; > <> 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! ------