>> You should have a way to turn this off. Otherwise this makes >> debugging the call to abort impossible. > >What do you propose? > >o A command line option that is on per default like > -mnoreturn-tail-calls or -mjmp-noreturn > >o Hard-coded factor out some function names like "abort", > "exit", "_exit"
I'd suggest the first option. That way you can do this for other similar
functions like panic().
paul
