Path: utzoo!utgpu!attcan!uunet!yale!wald-david
From: wald-david@CS.YALE.EDU (david wald)
Newsgroups: comp.lang.c
Subject: Re: YALF (yet another lint foulup)
Message-ID: <47039@yale-celray.yale.UUCP>
Date: 6 Jan 89 16:34:21 GMT
References: <9255@smoke.BRL.MIL> <379@lakart.UUCP> <9341@ihlpb.ATT.COM>
Sender: root@yale.UUCP
Reply-To: wald-david@CS.YALE.EDU (david wald)
Organization: Yale University Computer Science Dept, New Haven CT  06520-2158
Lines: 12

In article <9341@ihlpb.ATT.COM> nevin1@ihlpb.UUCP (55528-Liber,N.J.) writes:
>What do you do if a function is non-returning and it falls off the
>bottom?  Never returning is a hard property to check in C.

Try "uncomputable."


============================================================================
David Wald                                              wald-david@yale.UUCP
waldave@yalevm.bitnet                                 wald-david@cs.yale.edu
"A monk, a clone and a ferengi decide to go bowling together..."
============================================================================