On Fri, 09 Jan 2009 23:37:30 -0500, Norman Ramsey wrote: >> > I'm having trouble understanding here. What happens when such a jump > > > target is used? > > > > Well, first of all, you can only get to this state in a program that > > violates the restrictions of the language, and has violated them well > > before the goto is executed. So the language definition says what > > happens in "undefined". But detecting this situation is expensive. > > Undoubtedly why it's "undefined". :-)
Actually, a lot of easy to check constraints also lead to "undefined" behaviour if the tests fail. The moment I let an outer-scope anything point to an inner-scope thing (dynamically), execution is already undefined. At that point I'm allowed to do anything by the language definition, including an error message, a plausible continuation of execution, or comp0lete indescribably chaos. But I find indescribably chaos hard to debug. :-) -- hendrik _______________________________________________ Cminusminus mailing list [email protected] https://cminusminus.org/mailman/listinfo/cminusminus
