Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!mailrus!cornell!uw-beaver!uw-june!kolding
From: kolding@june.cs.washington.edu (Eric Koldinger)
Newsgroups: comp.lang.c
Subject: Re: YALF (yet another lint foulup)
Message-ID: <6720@june.cs.washington.edu>
Date: 14 Dec 88 09:46:55 GMT
References: <4700030@m.cs.uiuc.edu>
Reply-To: kolding@uw-june.UUCP (Eric Koldinger)
Organization: U of Washington, Computer Science, Seattle
Lines: 29

Bill Smith writes:
>Lint believes this simple program has both return(e); and just return;
>function()
>{
>	int flag;
>	do{
>		return(3);
>	} while(flag);
>}

  And so it does....

function()
{
	int flag;
	do{
		return(3);  /*  return(e) here */
	} while(flag);
    /* implied return here */
}

Lint can't determine where it will drop out, it only determines if there
is a path that could be executed to get there.  Something about the halting
problem, I believe....

-- 
	_   /|				Eric Koldinger
	\`o_O'				University of Washington
  	  ( )     "Gag Ack Barf"	Department of Computer Science
       	   U				kolding@cs.washington.edu