Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!henry
From: henry@utzoo.UUCP (Henry Spencer)
Newsgroups: net.lang.c
Subject: Re: Breaking out - the ratfor approach
Message-ID: <4548@utzoo.UUCP>
Date: Mon, 29-Oct-84 11:17:21 EST
Article-I.D.: utzoo.4548
Posted: Mon Oct 29 11:17:21 1984
Date-Received: Mon, 29-Oct-84 11:17:21 EST
References: <2122@usceast.UUCP>, <169@desint.UUCP>
Organization: U of Toronto Zoology
Lines: 11

> 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