From f029f2815c2d69ef833089f476d32cadc5edd2de Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Tue, 16 Apr 2019 14:16:33 -0700 Subject: cmdline: use handler instead of catch for errors. Errors encountered when parsing or evaluating a source file should be handled using a handler rather than a catch, so that the unwind stack is available to the error reporting function. This anticipates being able to dump a backtrace. * txr.c (parse_once_noerr, read_eval_stream_noerr): Adjust to reduced argument count in ignerr_func_body macro. * unwind.c (uw_trace_error): New function. * unwind.h (uw_trace_error): Declared. (ignerr_func_body): Revised to establish a handler in addition to the catch. The catch now doesn't do anything other than provide an intercepting exit point; the error_trace call is moved into the handler, and so it executes in a context where unwinding hasn't happened yet. --- unwind.h | 17 ++++++++++++----- 1 file changed, 12 insertions(+), 5 deletions(-) (limited to 'unwind.h') diff --git a/unwind.h b/unwind.h index 0dfeea17..edf079ee 100644 --- a/unwind.h +++ b/unwind.h @@ -145,6 +145,7 @@ val uw_find_frame(val extype, val frtype); val uw_find_frames(val extype, val frtype); val uw_invoke_catch(val catch_frame, val sym, struct args *); val uw_muffle_warning(val exc, struct args *); +val uw_trace_error(val ctx, val exc, struct args *); val uw_capture_cont(val tag, val fun, val ctx_form); void uw_push_cont_copy(uw_frame_t *, mem_t *ptr, void (*copy)(mem_t *ptr, int parent)); @@ -274,13 +275,19 @@ noreturn val type_mismatch(val, ...); #EXPR \ " failed") -#define ignerr_func_body(type, init, expr, exsym, \ - exargs, stream, prefix) \ +#define ignerr_func_body(type, init, expr, \ + stream, prefix) \ + val (_s_y_m_s) = cons(error_s, nil); \ type (_r_e_t) = (init); \ - uw_catch_begin (cons(error_s, nil), exsym, exargs); \ + uw_frame_t _h_n_d; \ + uw_catch_begin (_s_y_m_s, _e_x, _e_x_a); \ + uw_push_handler(&_h_n_d, _s_y_m_s, \ + func_f1v(cons(stream, prefix), \ + uw_trace_error)); \ _r_e_t = expr; \ - uw_catch(exsym, exargs) \ - error_trace(exsym, exargs, stream, prefix); \ + uw_pop_frame(&_h_n_d); \ + uw_catch(_e_x, _e_x_a); \ + (void) _e_x_a; \ uw_unwind { } \ uw_catch_end; \ return _r_e_t; -- cgit v1.2.3