NRALF (was YALF (yet another lint foulup))

[Dave Jones]

>From article <4700030 at m.cs.uiuc.edu), by 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.

Not Really A Lint Foulup.

At first, I didn't see why the message wasn't perfectly correct.
Now I see. Perhaps lint should have warned about the unreachable 
"while(flag)" test, rather than the implicit void return at the 
end of the procedure.  But the complaint it did make is certainly
better than no complaint at all.