Is this legal C?

[Jerry Leichter]

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