Path: utzoo!attcan!uunet!auspex!guy
From: guy@auspex.UUCP (Guy Harris)
Newsgroups: comp.lang.c
Subject: Re: YALF (yet another lint foulup)
Message-ID: <717@auspex.UUCP>
Date: 15 Dec 88 18:14:26 GMT
References: <4700030@m.cs.uiuc.edu>
Reply-To: guy@auspex.UUCP (Guy Harris)
Organization: Auspex Systems, Santa Clara
Lines: 15

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

"lint" has no way of knowing, given its somewhat unsophisticated
analysis, that the loop never terminates; if it *did* terminate, the
function *would* have something that amounts to just a "return;".

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

No, because there is actually an "lint" feature to be used in this case;
just stick

	/*NOTREACHED*/

after the loop in question to convince "lint" that the loop really
doesn't terminate.