Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uwm.edu!psuvax1!psuvm!trl3
From: TRL3@psuvm.psu.edu (Tim Larson)
Newsgroups: comp.lang.modula2
Subject: Re: JPI M2 2.00 - PROCEDURE FUNCTIONS & ERROR CHECKING
Message-ID: <90206.084158TRL3@psuvm.psu.edu>
Date: 25 Jul 90 12:41:58 GMT
References: <1960.26A95065@puddle.fidonet.org>
 <90204.213559TRL3@psuvm.psu.edu> <1990Jul24.060519.23417@portia.Stanford.EDU>
 <10180@brazos.Rice.edu>
Organization: Penn State University
Lines: 20

In article <10180@brazos.Rice.edu>, preston@erato.rice.edu (Preston Briggs)
says:
>You're correct that it isn't specified in the syntax.
>I think it probably can't be.  However, the compiler
>can still detect that there exists a path from the entrance
>to the END of a function with no RETURN.  It's one of the
>advantages of using control constructs with the infamous
>"single-entrance, single-exit" property.
>
>If people are curious, I can show how it works;
>but it'll be a somewhat involved posting.
>
I would be very interested in that (references would be fine if the posting
were too long).  However, you state the "single-entrance, single-exit"
requirement, which Modula-2 neatly destroys with LOOP..END.  Is that require-
ment necessary for the algorithm to work?

-Tim Larson
trl3@psuvm.bitnet
"I still have the greatest confidence in our mission..." -HAL 9000