On 10/13/2011 12:00 PM, Georg-Johann Lay wrote: > What do you propose? > > o A command line option that is on per default like > -mnoreturn-tail-calls or -mjmp-noreturn
The command-line-option. I think I prefer -mjump-noreturn, as the inverse -mno-noreturn-tail-calls is too awkward. r~
