Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!orchid!rbutterworth
From: rbutterworth@orchid.UUCP
Newsgroups: comp.lang.c
Subject: Re: impossible problem for find(1)?
Message-ID: <7215@orchid.UUCP>
Date: Fri, 1-May-87 08:49:41 EDT
Article-I.D.: orchid.7215
Posted: Fri May  1 08:49:41 1987
Date-Received: Sat, 2-May-87 01:19:37 EDT
References: <2645@phri.UUCP> <6454@mimsy.UUCP> <5797@brl-smoke.ARPA> <5815@brl-smoke.ARPA>
Organization: U of Waterloo, Ontario
Lines: 11

In article <5815@brl-smoke.ARPA>, gwyn@brl-smoke.ARPA (Doug Gwyn ) writes:
> In article <465@haddock.UUCP> karl@haddock.ISC.COM.UUCP (Karl Heuer) writes:
> > I don't mean to flame the author's style, but what's wrong with
> >     EXIT( file1.st_mtime < file2.st_mtime ? 1 : 0 );
> >     /* NOTREACHED */
> Because it doesn't work.  The main() function then fails to return a value,
> and lint detects that (or at least it CAN detect that if it's smart enough).

But if lint smart enough, it should know that main actually fails to return
at all, which is quite a different thing from returning but failing to return
a value.