Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!lll-winken!uunet!mcvax!hp4nl!rivm!ccea3
From: ccea3@rivm.UUCP (Adri Verhoef)
Newsgroups: comp.lang.c
Subject: strange behaviour of lint?
Message-ID: <1325@rivm05.UUCP>
Date: 5 May 89 11:54:11 GMT
Organization: RIVM, Bilthoven, The Netherlands
Lines: 26

$ cat c.c
main()
{
	(void) exit(0);

	/* Make lint happy, preventing following message:
	 * "warning: main() returns random value to invocation environment"
	 */
	return 0;
}
$ lint c.c


==============
value type declared inconsistently
    exit   	llib-lc(46) :: c.c(3)
$ sed -n 46p /usr/lib/llib-lc
void	exit(s) {}
$ exit

My question: Is lint wrong, or am I misusing "(void)"?

PS. lint complains about any void function, not just exit().

--
19:89 - TIME TO WAKE UP!