On Fri, 13 Feb 2015, David Rientjes wrote:> Why isn't this done in other debugging functions such as> free_debug_processing()?I think this belongs into the functions that report the bug. They shouldreport the issue and at the end of the report crash.