Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!mailrus!uflorida!haven!adm!smoke!gwyn
From: gwyn@smoke.BRL.MIL (Doug Gwyn )
Newsgroups: comp.lang.c
Subject: Re: Strange lint mumblings
Message-ID: <9183@smoke.BRL.MIL>
Date: 15 Dec 88 00:26:18 GMT
References: <416@marob.MASA.COM>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 9

In article <416@marob.MASA.COM> daveh@marob.masa.com (Dave Hammond) writes:
>Can anyone explain why the statement:
>    exit(0);	/* followed immediately by main's closing brace */
>causes lint to complain:
>(137)  warning: main() returns random value to invocation environment

"lint" doesn't know that exit() never returns.
Put /*NOTREACHED*/ after exit to tell "lint" this.

This discussion occurred only a few months ago..