Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!decvax!yale-com!leichter
From: leichter@yale-com.UUCP (Jerry Leichter)
Newsgroups: net.lang.c
Subject: Re: Is this legal C?
Message-ID: <2475@yale-com.UUCP>
Date: Mon, 28-Nov-83 15:24:40 EST
Article-I.D.: yale-com.2475
Posted: Mon Nov 28 15:24:40 1983
Date-Received: Tue, 29-Nov-83 06:01:09 EST
References: mit-eddi.951
Lines: 8

Steve Haflich missed my point.  No C compiler I know of does anything special
with setjmp/longjmp.  The point is exactly that it doesn't have to:  The code
produced is consistent with these functions.  If the code produced for an
if did NOT allow a goto into one arm, it would almost certainly make setjmp/
longjmp unimplementable.  While this MIGHT be consistent with the formal
definition of C, it would not be acceptable in the real world of C programming
practice, which has come to rely on setjmp/longjmp.
							-- Jerry