YALF (yet another lint foulup)

[Eric Koldinger]

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 at cs.washington.edu