Re: Tests in a software release

["Randy Brukardt" <randy@rrsoftware.com>]

"Robert Eachus" <rieachus@comcast.net> wrote in message 
news:920c1eff-2cfa-48d4-a0a7-6b6f0a205ce5@googlegroups.com...
...
>On a related issue, the need for gotos seems to be limited to 
>implementations of
>finite state machines (FSMs).  I guess I could write a program that would 
>generate
>goto-less code for deterministic FSMs, For non-deterministic FSMs, I guess 
>the
>way to go would be to turn them into deterministic FSMs.  Maintaining such 
>code
>would be next to impossible.

The main reason to use a goto in Ada 2012 is for the (missing) loop continue 
statement. I do this quite often (and so does the GNAT code, if I'm 
remembering correctly) -- real code being much more complex than this:

     loop
         ...
         if ...
            ...
            goto Continue; -- Start next iteration.
         end if;
         ...
         <<Continue>>
     end loop;

Note that Ada 2012 eliminated the need for "null;" after a label 
specifically so that this usage would read better.

                                Randy.