On Mon, Mar 20, 2006 at 04:19:52PM -0000, Dave Korn wrote: > However, I might still want to make it an option for cases where debugging > isn't going to be important; it seems to me that the generated code should > still be valid.
At which point you should tail call to abort and be done with it. So the correct change is to the tail call code, which currently filters out noreturn functions. r~
