YALF (yet another lint foulup)

[wsmith at m.cs.uiuc.edu]

Lint believes this simple program has both return(e); and just return;

function()
{
	int flag;
	do{
		return(3);
	} while(flag);
}

I suppose this should be added to the canonical collection of lint foulups.

Bill Smith
wsmith at cs.uiuc.edu
uiucdcs!wsmith