djones@megatest.UUCP (Dave Jones) (12/15/88)
From article <4700030@m.cs.uiuc.edu), by wsmith@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.