🚀 go-pugleaf

preston@erato.rice.edu (Preston Briggs) writes:

>In article <1990Jul24.060519.23417@portia.Stanford.EDU> dhinds@portia.Stanford.EDU (David Hinds) writes:
[..]
>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.

Even if the language doesn't have the `nice' control structures, the
compiler can still detect the presence of a path. I'm thinking of
GNU CC which (when optimising) performs flow analysis that will
pester the knowledgeable user ;-) with message about end of non-void
function reached etc. If you don't have the (non-ANSI) patch declaring
`exit()' to be non-returning, the `main()' function is a liable 
candidate for such a warning... 

As said (too) many times, the existance of a path doesn't mean that there
is an error.

	Jens

Jens Tingleff MSc EE, Institute of Computer Science, Copenhagen University
Snail mail: DIKU Universitetsparken 1 DK2100 KBH O
"It never runs around here; it just comes crashing down"
	apologies to  Dire Straits