Breaking out - the ratfor approach

[Henry Spencer]

> So tell me, folks:  do *you* have a global data flow analysis algorithm that
> works in the presence of unrestricted goto's?

I seem to recall that several such have been published.  They don't do
as well when there are goto's as when there aren't, but they do work
either way.  In any event, it is not at all difficult to recognize when
a goto is in fact just a loop exit, so this is irrelevant to the main
discussion.
-- 
				Henry Spencer @ U of Toronto Zoology
				{allegra,ihnp4,linus,decvax}!utzoo!henry