🚀 go-pugleaf

In article <90206.084158TRL3@psuvm.psu.edu> TRL3@psuvm.psu.edu (Tim Larson) writes:
>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.

	Yes, I wouldn't mind seeing you involved posting on how this would work

>>
>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?

LOOP..END is still single-entry, single-exit. You always enter the loop at the
top, and will exit at the END statement. There's no way to jump into the
middle of the LOOP statement, or leave it at other than the predetermined
end.


-- 
Chuck Lins               | "Is this the kind of work you'd like to do?"
Apple Computer, Inc.     | -- Front 242
20525 Mariani Avenue     | Internet:  lins@apple.com
Mail Stop 37-BD          | AppleLink: LINS@applelink.apple.com
Cupertino, CA 95014      | "Self-proclaimed Object Oberon Evangelist"
The intersection of Apple's ideas and my ideas yields the empty set.